Linux build fail

Question

Linux build fail

apease opened this issue 2 years ago · 7 comments

I'm attempted to build on Ubuntu Linux and get the following
~/workspace/zipperposition$ make
File "src/core/Util.ml", line 15, characters 2-18:
15 | Mtime.Span.to_us (Mtime.span start_ t)
^^^^^^^^^^^^^^^^
Error: Unbound value Mtime.Span.to_us

Sorry if this is a basic issue. I'm new to OCAML too

Answer 1 · 2023-03-04T23:39:25.000Z

This is caused by a recent release of mtime 2.0. I'll try and add a constraint but in the mean time you can do `opam pin mtime 1.4.0` to use a compatible version.

Answer 2 · 2023-03-05T00:08:58.000Z

Thanks! I tried that but now get other errors

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [mtime.1.4.0: dl]
⬇ retrieved mtime.1.4.0 (https://opam.ocaml.org/cache)
⊘ removed mtime.2.0.0
∗ installed mtime.1.4.0
Done.
$
$ make
File "src/core/Binder.ml", line 17, characters 22-40:
17 | let compare (a:t) b = Pervasives.compare a b
^^^^^^^^^^^^^^^^^^
Error: Unbound module Pervasives
...
[many more errors in Pervasives]

Answer 3 · 2023-03-05T01:43:39.000Z

Ah, recent ocaml version I suppose. Are you installing zipperposition from opam, or from the git repository itself?

Answer 4 · 2023-03-05T05:30:12.000Z

I'm attempting to follow the default README instructions using opam

Answer 5 · 2023-03-10T16:05:24.000Z

Try an older version of OCaml, for example opam switch create ocaml.4.08.0

Answer 6 · 2023-10-30T14:42:29.000Z

Commit d274d65 should fix this issue - if you install from a current master, it should work now.

Answer 7 · 2023-10-30T14:46:53.000Z

Please reopen if there are still issues on a recent-ish OCaml.