-
Notifications
You must be signed in to change notification settings - Fork 233
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
cannot be installed via opam pin
in opam
sandboxes
#3144
Comments
Hi Shon, thanks for the report! I suppose we may be forgetting to set a variable somewhere and that ends up being some external directory (or maybe I'm paranoid about that ever since I read ocaml/opam#3316). I can take a look. I suppose a top-level dune project file would be a good thing. Wondering what @tahina-pro thinks. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I have been trying to install HEAD (or other more recent releases not yet available on opam) in an opam switch. Due to way the build and installation is currently defined, the installation and build fails.
To reproduce:
to get an error along these lines:
I have not yet tracked down exactly what is going on during the build/install causing the illegal file access a directory which it shouldn't have access to. But I have been able to come with an rough patch that moves the build and install just into dune, and resolves the problem: shonfeder/FStar@master...pinnable
The text was updated successfully, but these errors were encountered: