Package updates #411
Open
Package updates #411
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This was referenced Apr 23, 2024
rtetley
force-pushed
the
package-updates
branch
from
e3526cb
to
4237783
Compare
This was referenced Apr 23, 2024
JasonGross
reviewed
Apr 23, 2024
JasonGross
reviewed
Apr 23, 2024
Comment on lines
214
to
235
| if [ "$OSTYPE" != cygwin ] | ||
| then | ||
| # Windows: stack overflow |
There was a problem hiding this comment.
This is probably not the right place to discuss this (maybe open an issue on fiat crypto or here?), but fiat crypto does build with opam on Windows / cygwin, according to our CI.
There was a problem hiding this comment.
Don't really know much about this issue. Maybe @MSoegtropIMC can discuss this with you ?
This was referenced Apr 29, 2024
Closed
Co-authored-by: Jason Gross <jasongross9@gmail.com>
rtetley
force-pushed
the
package-updates
branch
from
26d3fd4
to
f3db40d
Compare
MSoegtropIMC
requested changes
Sep 11, 2024
| if [[ "$OSTYPE" != cygwin ]] | ||
| then | ||
| PACKAGES="${PACKAGES} coq-mtac2.1.4+8.19" # build issues on Windows | ||
| fi | ||
| ======= |
There was a problem hiding this comment.
@rtetley : This file has merge conflicts in it. You need to resolve this before pushing.
There was a problem hiding this comment.
huh ? weird, I rebased and fixed.. Must have slipped my attention...
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Bumping: