Visual Studio 2017 support

[yaakov-h]

What needs to be done to add support for VS15, however preliminary.

At minimum we need MSBuild targets for v15.0 (C:\Program Files (x86)\Microsoft\Contracts\MsBuild).

What would I need to modify to add such targets to the project?

• MSBuild targets for MSBuild 15.0 (Add MSBuild targets for VS2017 #482)
• Plugin / Project Preferences sheet
• Code Snippets
• ITaskManager for background static analysis
• Tests?
• Anything else?

[yaakov-h]

Note to self: Looks like most of the targets work is in WiX: https://github.com/Microsoft/CodeContracts/blob/79a04c96679b6d400c286dd62d6a2ec77462da72/Microsoft.Research/ManagedContract.Setup/ManagedContracts.wxs#L1078-L1087

[tom-englert]

I had to setup a build server with VS15 for evaluation.
The only thing needed to get it run was to copy
C:\Program Files (x86)\MSBuild\14.0\Microsoft.Common.Targets\ImportAfter\CodeContractsAfter.targets
to
C:\Program Files (x86)\MSBuild\15.0\Microsoft.Common.Targets\ImportAfter\CodeContractsAfter.targets

Of course you don't get the CC settings page in the project properties, but it's sufficient to try out existing solutions

[yaakov-h]

That works for me too, though I haven't tried CC with any of the new C#7 features yet.

I think the settings pane should show up if you run the MSI after installing VS15. If not, there's a breaking change somewhere in VS.

[patroza]

Location since recent builds seem to be
:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\MSBuild\15.0\Microsoft.Common.targets\ImportAfter
(depending on edition)

[takinosaji]

@patroza doesnt work in release version. Pathes from post of @yaakov-h work

[mmusaev]

Does this mean that Code Contracts will be supported in Visual Studio 2017 soon?

[patroza]

@takinosaji I've decided to move on and not have this headache at every new VS version :)

[yaakov-h]

@mmusaev Depends what you mean by "supported", and if anyone's left alive here to merge #482.

[mmusaev]

I meant by support if Code Contract would be integrated into Visual Studios 2017 Settings Tab.

[yaakov-h]

I honestly have no idea how to do that at the moment.

…

On 12 Mar 2017, at 9:44 am, mmusaev ***@***.***> wrote: I meant by support if Code Contract would be integrated into Visual Studios 2017 Settings Tab. ― You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.