Skip to content
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.

Sign up for GitHub

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

[build] [windows] Binary builds #1

Open
ejgallego opened this issue Feb 22, 2019 · 2 comments
Open

[build] [windows] Binary builds #1

ejgallego opened this issue Feb 22, 2019 · 2 comments
Labels
kind: enhancement New feature or request part: packaging platform: windows
Milestone
0.3.0

Comments

@ejgallego
Copy link
Owner

ejgallego commented Feb 22, 2019 •
edited
Loading

We would like to have binary builds [at least for Windows] so coq-lsp can be installed from the market easily. A possible roadmap would be to use Github Actions on Windows.
@ejgallego ejgallego added this to the 1.0.0 milestone Nov 16, 2022
@ejgallego ejgallego mentioned this issue Jan 24, 2023
Closed
@Alizter Alizter moved this to Todo in coq-lsp roadmap Jan 29, 2023
@ejgallego ejgallego modified the milestones: 1.0.0, 0.2.0 Feb 20, 2023
@ejgallego ejgallego changed the title [build] Binary builds [build] [windows] Binary builds Feb 20, 2023
@ejgallego
Copy link
Owner Author

Windows support is now considered "stable" and checked in CI (for the definition of stable that a beta project allows)

This should be doable if we put some cycles on the packaging.

ejgallego added a commit that referenced this issue Sep 26, 2023
@ejgallego
[ci] Fix test suite on Windows
384aa0c 
Reverts #423 , the problem was due to us executing the tests
natively from the Windows Powershell (as we want things to run),
however we did set the path to a Cygwin-style one which didn't work
from Powershell.

Closes #424 cc: #1 #481
@ejgallego ejgallego mentioned this issue Sep 26, 2023
Merged
@ejgallego
Copy link
Owner Author

Note that we have binary installers since a while, see the README, but I keep this issue open as the process is far from nice as of today.

@ejgallego ejgallego modified the milestones: 0.2.0, 0.3.0 Jun 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: enhancement New feature or request part: packaging platform: windows
Projects
coq-lsp roadmap
Status: Todo
Milestone
0.3.0
Development

No branches or pull requests
1 participant
@ejgallego