Skip to content

/ fsharp

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

vsintegration\update-vsintegration.cmd outdated, does not work #6137

Open
majocha opened this issue Jan 19, 2019 · 2 comments
Open

vsintegration\update-vsintegration.cmd outdated, does not work #6137

majocha opened this issue Jan 19, 2019 · 2 comments
Labels
Area-Docs Area-Infrastructure bug
Milestone
Backlog

Comments

@majocha
Copy link
Contributor

@majocha majocha commented Jan 19, 2019

vsintegration\update-vsintegration.cmd doesn't work anymore because the bin paths changed.
The section about it in DEVGUIDE.md probably needs updating.
@dsyme
Copy link
Contributor

@dsyme dsyme commented Jan 19, 2019

I think it's not needed at all anymore, the new compiler is (I think) always used after VSIX installation without clobbering any binaries. But we should check (@brettfo?)
@majocha
Copy link
Contributor Author

@majocha majocha commented Jan 19, 2019

I had the problem with command line fsi.exe only.
The path that is set in Developer Command Prompt, e.g.
\Program Files (x86)\Microsoft Visual Studio\2017\Community\Common7\IDE\CommonExtensions\Microsoft\FSharp\
points to older binaries than those installed from nightly builds.
The version numbers are the same, but no anonymous records, that's how I found.

So there is side-by-side, but it's not clear how to get to the new binaries from outside of Visual Studio.
@cartermp cartermp added this to the 16.0 milestone Jan 30, 2019
@cartermp cartermp modified the milestones: 16.0, 16.1 Feb 21, 2019
@cartermp cartermp modified the milestones: 16.1, 16.2 Apr 23, 2019
@cartermp cartermp modified the milestones: 16.2, Backlog Apr 30, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Area-Docs Area-Infrastructure bug
Projects
None yet
Milestone
  Backlog
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
3 participants
@majocha @cartermp @dsyme
You can’t perform that action at this time.