project-everest / ethereum-star

F* proofs of Ethereum
Apache License 2.0
11 stars 0 forks source link

Trouble building solidstar #1

Open vincenth1 opened 2 years ago

vincenth1 commented 2 years ago

Hello,

im having trouble to run make inside the src/solidstar folder, I receive following message: make ocamlbuild -j 4 -use-ocamlfind soliditystar.native

But I installed everything: [NOTE] Package menhir is already installed (current version is 20220210). [NOTE] Package pcre is already installed (current version is 7.4.6). [NOTE] Package ulex is already installed (current version is 1.2).

If i try: ocamlfind query menhirLib ocamlfind: Package `menhirLib' not found

Im running: Kernel: 5.15.0-56-generic x86_64 bits: 64 Desktop: Cinnamon 5.2.7 Distro: Linux Mint 20.3 Una

CPU: Dual Core Intel Core i5-7300U (-MT MCP-) speed/min/max: 800/400/3500 MHz Kernel: 5.15.0-56-generic x86_64 Up: 1h 23m Mem: 3244.5/15749.9 MiB (20.6%) Storage: 476.94 GiB (4.4% used) Procs: 243 Shell: bash 5.0.17 inxi: 3.0.38

Hope someone can help me.

Greetings

Vincent

vincenth1 commented 2 years ago

With "eval $(opam config env)" i kinda fixed the error and moved to this error: ocamlbuild -j 4 -use-ocamlfind soliditystar.native