project-everest / everest

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

No wasm package #73

Open wintersteiger opened 4 years ago

wintersteiger commented 4 years ago

Not sure what currently is the recommended branch for the everest script, but when I just tried to use master, it complained about the wasm package not being available:

...$ ./everest check
# Switching to the everest directory ... now in /data/cwinter/everest
...
# All required OS packages found.
[ERROR] No package matches wasm.1.0.1.
...$ git branch -vv
* master 5cefdf1 [origin/master] [CI] automatic upgrade
...$ ocaml --version
The OCaml toplevel, version 4.05.0
msprotz commented 4 years ago

You may need to switch to a more recent opam. Can you check if you're on OPAM 1.X? If so, I recommend deleting your $(which opam) and re-running everest check.

wintersteiger commented 4 years ago

1.2.2 - came with Ubuntu 18.04. Once I remove that (package), everest check just complains that there isn't one:

$ ./everest check
# Switching to the everest directory ... now in /data/cwinter/everest

Checking environment
... which found
... github.com access ok
... ocaml minimum version requirements met
ERROR: opam not found

I guess I have to install that manually then?

msprotz commented 4 years ago

ah, yes, everest check only installs opam for you on windows; for linux, I think it's merely a matter of adding Anil's ppa and then installing opam from there

wintersteiger commented 4 years ago

There's not even an official PPA for opam?

wintersteiger commented 4 years ago

Ah, no it is at least semi-official :)

wintersteiger commented 4 years ago

Right, that fixed it, thanks! Would be nice if the script would check the opam version, even if just to report it without offering to upgrade automatically.