Bug #75

Compiling McScM under OCaml 4.00

Added by Alexander Heußner over 4 years ago. Updated over 4 years ago.

Status:Closed Start date:08/23/2012
Priority:Normal Due date:
Assignee:Alexander Heußner % Done:

100%

Category:-
Target version:1.2

Description

Compiling the source via the Makefile with OCaml 4.00 not possible due to inconsistencies with ocamlbuild's treatment of the -build-dir parameter. ocamlbuild declare's our custom build directory as not hygienic and stops the compilation directly in the beginning.

This is a known bug in OCaml 4.00.0 (see http://caml.inria.fr/mantis/view.php?id=4502).

Workaround:
explicitly tag our non-standard build directory as "not hygienic" in the _tags file (see following patch).

@@ -16,3 +16,6 @@
 <3rd-party/fixpoint>: include
 <3rd-party/latticeAutomata>: include
 <3rd-party/scm/NoApron>: include
+
+# for ocamlbuild 4.00.0 bug
+<.build>: not_hygienic

History

Updated by Alexander Heußner over 4 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF