Failed to build following Linux README

[emptylambda]

On my Linux machine following the Linux installation README leads to failure beyond my capacity to decipher:

➜  verifast git:(master) cd src 
➜  src git:(master) make
ocamlfind: Package `z3' not found
  OCAMLOPT  linux/Perf.cmx
  OCAMLOPT  linux/Stopwatch.cmi
  OCAMLOPT  linux/Stopwatch.cmx
  OCAMLOPT  linux/Perf.cmxa
  OCAMLOPT  vfconfig.cmx
don't know what to do with num
Usage: ocamlopt <options> <files>
Options are:
  -fPIC  Generate position-independent machine code (default)
  -fno-PIC  Generate position-dependent machine code
  -a  Build a library

I did follow the setup-build.sh and obtained pre-compiled binaries under my /tmp

➜  src git:(master) ls /tmp/vfdeps-509f16f/bin 
camlp4         camlp4prof           ocamlbuild.byte    ocamldep       ocamlmklib.byte  ... z3

So I'm confused by the failure message above.
Could this be because I had OCaml installed on my machine prior to this installation?

Thank you in advance

[btj]

Please confirm that you added vfdeps to the front of your PATH, not the back. On 4 Jun 2021, at 10:47, emptylambda ***@***.***> wrote:  On my Linux machine following the Linux installation README leads to failure beyond my capacity to decipher: ➜ verifast git:(master) cd src ➜ src git:(master) make ocamlfind: Package `z3' not found OCAMLOPT linux/Perf.cmx OCAMLOPT linux/Stopwatch.cmi OCAMLOPT linux/Stopwatch.cmx OCAMLOPT linux/Perf.cmxa OCAMLOPT vfconfig.cmx don't know what to do with num Usage: ocamlopt <options> <files> Options are: -fPIC Generate position-independent machine code (default) -fno-PIC Generate position-dependent machine code -a Build a library I did follow the setup-build.sh and obtained pre-compiled binaries under my /tmp ➜ src git:(master) ls /tmp/vfdeps-509f16f/bin camlp4 camlp4prof ocamlbuild.byte ocamldep ocamlmklib.byte ... z3 So I'm confused by the failure message above. Could this be because I had OCaml installed on my machine prior to this installation? Thank you in advance — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub<#237>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AANSUVVBQJ2TYX2VGKLNKHLTRCHKJANCNFSM46CLXS2Q>. [ { ***@***.***": "http:https://schema.org", ***@***.***": "EmailMessage", "potentialAction": { ***@***.***": "ViewAction", "target": "#237", "url": "#237", "name": "View Issue" }, "description": "View this Issue on GitHub", "publisher": { ***@***.***": "Organization", "name": "GitHub", "url": "https://github.com" } } ]

[btj]

Closing this bug for now; feel free to reopen.