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.

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

everest karamel requires opam uucp #113

Open
briangmilnes opened this issue Aug 1, 2024 · 0 comments
Open

everest karamel requires opam uucp #113

briangmilnes opened this issue Aug 1, 2024 · 0 comments

Comments

@briangmilnes
Copy link

Ubuntu 6.5.0-1020-oem #21-Ubuntu
I'm building in ~/third-party/everest/karamel and it wants uucp in _build/default_lib
opam install puts in my default ocaml setup.
./everest opam uucp did not work.
sudo apt install curl
followed by
everest opam uucp
and then
./everest karamel make

the problem seems to be it does not like curl from snap.

After this, ./everest karamel make works.

P.S. Install scripts never run cleanly unless you have an SA who checks them in the build. Annoying to setup, almost never done in a research environment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant