summaryrefslogtreecommitdiff
path: root/dev-ml/num/files/num-1.3-cflags.patch
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/num/files/num-1.3-cflags.patch')
-rw-r--r--dev-ml/num/files/num-1.3-cflags.patch11
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ml/num/files/num-1.3-cflags.patch b/dev-ml/num/files/num-1.3-cflags.patch
new file mode 100644
index 000000000000..771455c4f724
--- /dev/null
+++ b/dev-ml/num/files/num-1.3-cflags.patch
@@ -0,0 +1,11 @@
+--- a/src/Makefile 2020-05-21 18:54:31.176399032 +0200
++++ b/src/Makefile 2020-05-21 18:55:27.881498310 +0200
+@@ -65,7 +65,7 @@
+ %.cmx: %.ml
+ $(OCAMLOPT) $(CAMLOPTFLAGS) -c $*.ml
+ %.$(O): %.c
+- $(OCAMLC) -ccopt -DBNG_ARCH_$(BNG_ARCH) -c $*.c
++ $(OCAMLC) -ccopt "-DBNG_ARCH_$(BNG_ARCH) $(CFLAGS)" -c $*.c
+
+ # Legacy installation: files go into OCaml's stdlib directory; only META
+ # is installed via findlib