Commit 5eefdd57 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add an opam patch to remove the -native option from ocamldep.

parent b117acfe
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,6 +23,8 @@ 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"
......@@ -35,7 +37,7 @@ install: [make "install" "install-lib"]
remove: [
["rm" "%{bin}%/why3"]
["rm" "-r" "%{lib}%/why3"]
["rm" "-r" "%{share}%/why"]
["rm" "-r" "%{share}%/why3"]
]
build-doc: [
......
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