stedolan / mlsub

Prototype type inference engine
191 stars 19 forks source link

Compilation unsuccessful #1

Open malthe opened 7 years ago

malthe commented 7 years ago
mborch@wavel:~/co/mlsub$ make all
ocamlbuild -no-hygiene -r -cflag -bin-annot -cflag -g -lflag -g -pkg menhirLib -pkg str -use-menhir -yaccflag --explain main.byte
+ /Users/mborch/.opam/4.02.3/bin/ocamlc.opt -c -bin-annot -g -I /Users/mborch/.opam/4.02.3/lib/menhirLib -I /Users/mborch/.opam/4.02.3/lib/ocaml -o camlgen.cmo camlgen.ml
File "camlgen.ml", line 31, characters 16-1095:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(_, None)
+ /Users/mborch/.opam/4.02.3/bin/ocamlc.opt -c -bin-annot -g -I /Users/mborch/.opam/4.02.3/lib/menhirLib -I /Users/mborch/.opam/4.02.3/lib/ocaml -o source.cmo source.ml
File "source.ml", line 17, characters 11-30:
Error: Unbound module P.MenhirInterpreter
Command exited with code 2.
Compilation unsuccessful after building 28 targets (0 cached) in 00:00:00.
make: *** [all] Error 10

Building build-js also fails:

mborch@wavel:~/co/mlsub$ make build-js
ocamlbuild -r -build-dir _build.js -use-ocamlfind -pkg menhirLib -use-menhir \
      -package js_of_ocaml -package js_of_ocaml.syntax \
          -syntax camlp4o webpage.byte
+ ocamlfind ocamlc -c -syntax camlp4o -package js_of_ocaml.syntax -package js_of_ocaml -package menhirLib -o webpage.cmo webpage.ml
File "webpage.ml", line 26, characters 16-30:
Error: Unbound value Parser.modlist
Command exited with code 2.
Compilation unsuccessful after building 25 targets (24 cached) in 00:00:00.
make: *** [build-js] Error 10
LPTK commented 7 years ago

I also encounter the Unbound value Parser.modlist error (but not the other one). Not super familiar with OCaml, so I might have skipped something.

stedolan commented 7 years ago

Finally got around to looking at this! It turns out to be an incompatibility with certain versions of Menhir. I'll update the build to depend on the precise version it needs.