Which versions Visual Studio can support the Dafny 1.9.7 IDE plugin?
In particular I'm interested in VS 2015 Community edition since I'd like my students to be able to use it without extra cost.
I have looked in the file source.extension.vsixmanifest. Where I see the following:
<Installation InstalledByMsi="false">
<InstallationTarget Version="[11.0,15.0)" Id="Microsoft.VisualStudio.Pro" />
<InstallationTarget Version="[14.0,15.0)" Id="Microsoft.VisualStudio.Community" />
</Installation>
Consulting the documentation I read this as Visual Studio Community minimum version inclusive 14.0, maximum version exclusive 15.0. Which I understand to mean it supports any version of visual studio 14. I believe that 14 is the internal version number of Visual Studio 2015.
Putting that all together I think it means that the Dafny extension should install on VisualStudio Community 2015.
I've tried installing the Dafny extension (version 1.9.7 of Dafny) on a few different versions of Visual Studio. This was on Windows 7. Here is what I learned
VS 2012 Express for Desktop: No.
VS 2012 Professional: Yes.
VS 2012 Premium: Yes (*).
VS 2013 Community: Yes (*).
VS 2015 Community: Yes (*).
In each of the cases marked with a (*) I've had problems where the extension has appeared to crash the first time it tried to parse a new Dafny file. However, shutting down VS and restarting it appeared to solve the problem.
Related
In which Workload of the Visual Studio 2017 Community 15.9 installation would I find the VS2017 BuildTools component?
I am looking at the workloads in the installer options and there seems not to be any workload that has such a thing.
I even searched in the component in the Individual Components tab also but couldn't find anything matching the exact string.
The reason I am looking for it is that when I try to build the source code for ASP.NET MVC v5.2.6, I get the error message as follows.
> build
Could not find MSBuild.exe. Please install the VS2017
BuildTools component or a workload that includes it.
*** BUILD FAILED **
I had written to the ASP.NET MVC team earlier about this message before I had installed Visual Studio 2017. I had had just Visual Studio 2019 then and they asked that I install Visual Studio 2017.
I already have MS Build at various locations. I had multiple versions of MSBuild even before having installed VS 2017.
Build Tools for Visual Studio 2017 is still available as an online installer. You can get the current version here: https://visualstudio.microsoft.com/thank-you-downloading-visual-studio/?sku=BuildTools&rel=15.
After upgrade of Visual Studio 2017 last week on my build server, the MS Build 15.0 is not in use anymore. So whenever I try to compile visual studio 2017 projects which use new feature they will fail.
The Warning in build log is:
Visual Studio version '15.0' not found. Looking for the latest
version.
And the error is:
something.cs(542,41): Error CS1525: Invalid expression term 'int'
Which is because build server is using MS build 14.0 I guess.
So far I have
1- Uninstall and Reinstalled the Visual Studio 2017 on the build server.
2- Installed "Visual Studio Build Tools 2017".
And nothing works.
I have read some articles and apparently there are missing registry values but I don't know how to create them.
Appreciate your helps on this topic.
I am using TFS 2017 SP1 (On premises) and Visual Studio 2017 latest updates.
This may due to the VS is installed after the build agent configured. Then reregister the build agent with TFS, since the system capabilities are only discovered when the agent is first configured -- any changes made after that are not captured.
More ways please refer this similar question: No agent could be found with the following capabilities: msbuild, visualstudio, vstest?
Or install the latest version of the agent for now, which appears to be capable of detecting VS2017.
Also remember to select VS2017 in Visual Studio Version picklist of Visual Studio Build task.
I have resolved this issue by upgrading my TFS from TFS 2017 SP1 to
TFS 2017 SP2.
Thanks to #Patrick-MSFT and #Martin Ullrich for your help.
I have tried to link OpenCV with VS Express 2015 as I was doing in VS 2013 but I got msvcr120d.dll error. It says that this .dll was not found in my system.
Any Ideas of how I can link OpenCV with VS 2015 Express?
Prebuild Libs are only for VS11 and VS12 this is Visual studio 2012 and 2013. You can build and release your own OpenCV libs for Visual Studio 2015 comm. edition.
Just use this tutorial
Install OpenCV Visual Studio 2015
I managed to make the OpenCV Debug configuration working in Visual Studio 2015 Community Edition by installing Visual Studio 2013 Express on my system. As the result, the file msvcr120d.dll appeared in Windows\System32, and after the reboot of the computer I was able to debug OpenCV example in Visual Studio 2015.
Installed Visual Studio 2013 Community Edition on a different machine and then copied the dlls msvcp120d.dll and msvcr120d.dll into Windows\System32\ of my work machine. Worked a treat for opencv 2.4 x64 development.
This is not required for opencv 3+ as there are vs14 binaries available.
-- edit 23/8/16--
Not working so well, actually. Runtime errors arising in msvcr120d.dll when vectors containing opencv objects including Mat and KeyPoint are deconstructed, or are constructed using a large reserve.
I have Visual Studio 2013 Professional, and I'm trying to get an installation of VS Express for Desktop 2013 with F# support. I installed VS Express and the Visual F# Out Of Band Release 3.1.1 as indicated on fsharp.org, but after both completed, nothing F# shows up in VS Express. No F# Interactive window is available and no templates for creating an F# project. Is this because of a conflict with Visual Studio 2013 Professional? Is there a way to get F# support in VS Express with VS Professional installed side by side?
I simply uninstalled and reinstalled Visual F# and that seemed to fix the problem. I have no idea what caused it in the first place. :S
here is a problem I meet. I download and installed WampServer, it could not be started. After clicking, it started without any error message but ended immediately because
there was an WampServer icon in the right-down corner (just besides input icon and time) and disappeared within less than 1 second automatically. No process of wamp can be found when using ctrl+alt+del.
I suppose there is no problem in wampserver software itself since it can be installed in other computers successfully. Previous searching indicated I need to install visual C++ 2008 and 2010 but it seems still the same.
I am going crazy about this for a few days. Many thanks for you if there can be any suggestion or some similar cases.
Please make sure you have the latest version of all of these Microsoft C/C++ Redistributable runtime libraries. You dont need the whole compiler, just these C/C++ runtime libraries.
The 2008 Redist (32bit) is used by wampmanager even if you installed the 64bit WAMPServer.
The 2010 Redist is used by some versions of Apache ( depending on compiler used ).
The 2012 Redist is used by some versions of Apache ( depending on compiler used ).
FOR WAMP 32bit
Microsoft Visual C++ 2008 SP1 Redistributable Package (x86)
Microsoft Visual C++ 2010 SP1 Redistributable Package (x86)
If you are using WampServer2.4/2.5 32bit and therefore Apache 2.4.x
Microsoft Visual C++ 2012 is required
And select vcredist_x86.exe
FOR WAMP 64bit
Microsoft Visual C++ 2008 SP1 Redistributable Package (x86)
>> Yes you need the x86 Package regardless as wampmanager uses this <<
Microsoft Visual C++ 2008 Redistributable Package (x64)
Microsoft Visual C++ 2010 SP1 Redistributable Package (x64)
If you are using WampServer2.4/2.5 64bit
Microsoft Visual C++ 2012
And select vcredist_x64.exe
the authors state directly on the download page (http://www.wampserver.com/en/):
Wampserver 2.5 is not compatible with Windows XP, neither with SP3,
nor Windows Server 2003
When I tried it, during the install I get the odd, cryptic error popups such as "bin\apache\apache2.4.9\bin\httpd.exe is not a valid Win32 application".
I would recommend doing the manual approach for Win2K3 platforms - sure it's a lot more work, but you can follow an excellent, precise step-by-step recipe here:
http://www.ricocheting.com/how-to-install-on-windows/apache
I've done this approach a dozen times with no complications. If you've never done the "old school way" before, it's a good learning experience. And it would probably be a lot faster overall than struggling with trying to get WampServer working on Win2K3 OS.
Note that in both cases, you'll still need to first install VC 2008 redistributable package (as mentioned above).