project-everest / everest

https://project-everest.github.io/
Apache License 2.0
193 stars 29 forks source link

everest karamel requires opam uucp #113

Open briangmilnes opened 2 months ago

briangmilnes commented 2 months ago

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.