Menu

#5 Build Failure

open
nobody
None
5
2011-01-26
2011-01-26
No

DPT 2.0 fails to build with OCaml 3.12.0, ocamldsort 0.15.0, and camlp5 6.02.1-exp. "make opt" gives:

File "/Users/psnively/projects/dpt2.0/src/solver/dl/rdl.mli", line 18, characters 9-21:
Error: Unbound module t
make: *** [/Users/psnively/projects/dpt2.0/src/solver/dl/rdl.cmi] Error 2

My guess is that something is amiss with ocamldsort 0.15.0, but I'm at a loss as to determine what—the Makefile structure seems rather complex to me. :-)

Discussion


Log in to post a comment.

Monday.com Logo