Commit 0790887d authored by Guillaume Melquiond's avatar Guillaume Melquiond

Incorporate the opam patch.

parent 5eefdd57
......@@ -64,7 +64,8 @@ endif
DEPFLAGS = -slash -I lib/why3
ifeq (@OCAMLBEST@,opt)
DEPFLAGS += -native
# the semantics of the -native flag changed in ocaml 4.03.0
#DEPFLAGS += -native
endif
RUBBER = @RUBBER@
......
diff --git a/Makefile.in b/Makefile.in
index 8c9d6ca..2c2b090 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -64,7 +64,8 @@ endif
DEPFLAGS = -slash -I lib/why3
ifeq (@OCAMLBEST@,opt)
-DEPFLAGS += -native
+# the semantics of the -native flag changed in ocaml 4.03.0
+#DEPFLAGS += -native
endif
RUBBER = @RUBBER@
......@@ -23,8 +23,6 @@ tags: [
]
available: [ ocaml-version >= "4.01.0" ]
patches: "disable-ocamldep-native.patch"
# Jessie3 (frama-c plugin) is *disabled* because it is not ready
build: [
["./configure" "--prefix" prefix "--disable-frama-c"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment