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
Ocaml spacetime support #93347
Ocaml spacetime support #93347
Conversation
@@ -43,6 +43,10 @@ stdenv.mkDerivation rec { | |||
dontAddPrefix = true; | |||
|
|||
preConfigure = '' | |||
# increase stack space for spacetime variant of the compiler | |||
# https://github.com/ocaml/ocaml/issues/7435 | |||
ulimit -s unlimited |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does this work on all platforms?
Could this change be made only when “spacetime” support is enabled? (To this end, it might be useful to inherit spaceTimeSupport
in the passthru
attribute of the ocaml
derivation.)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I expect so, because this is a bash builtin.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
CI just failed on darwin:
/nix/store/mmv9acmxa9g4p9fk3ck2kh4hii7ym48f-stdenv-darwin/setup: line 91: ulimit: stack size: cannot modify limit: Operation not permitted
@GrahamcOfBorg build fstar jackline mldonkey orpie sks wyrd |
@@ -43,6 +43,10 @@ stdenv.mkDerivation rec { | |||
dontAddPrefix = true; | |||
|
|||
preConfigure = '' | |||
# increase stack space for spacetime variant of the compiler | |||
# https://github.com/ocaml/ocaml/issues/7435 | |||
ulimit -s unlimited |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
CI just failed on darwin:
/nix/store/mmv9acmxa9g4p9fk3ck2kh4hii7ym48f-stdenv-darwin/setup: line 91: ulimit: stack size: cannot modify limit: Operation not permitted
I allowed the ulimit to fail. |
(misclicked at first) |
Motivation for this change
spacetime support for ocaml:
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
./result/bin/
)nix path-info -S
before and after)