Bug #75
Compiling McScM under OCaml 4.00
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