diff options
Diffstat (limited to 'dev-ml/num/files')
| -rw-r--r-- | dev-ml/num/files/num-1.3-cflags.patch | 11 | ||||
| -rw-r--r-- | dev-ml/num/files/num-1.4-ocamlopt.patch | 27 |
2 files changed, 0 insertions, 38 deletions
diff --git a/dev-ml/num/files/num-1.3-cflags.patch b/dev-ml/num/files/num-1.3-cflags.patch deleted file mode 100644 index 771455c4f724..000000000000 --- a/dev-ml/num/files/num-1.3-cflags.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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 diff --git a/dev-ml/num/files/num-1.4-ocamlopt.patch b/dev-ml/num/files/num-1.4-ocamlopt.patch deleted file mode 100644 index 6db5015e1d9a..000000000000 --- a/dev-ml/num/files/num-1.4-ocamlopt.patch +++ /dev/null @@ -1,27 +0,0 @@ ---- a/src/Makefile 2022-01-12 19:58:54.655901110 +0100 -+++ b/src/Makefile 2022-01-12 19:59:25.446339664 +0100 -@@ -33,11 +33,10 @@ - - all:: libnums.$(A) nums.cma - -+ifeq "$(NATDYNLINK)" "true" - ifneq "$(ARCH)" "none" - all:: nums.cmxa - endif -- --ifeq "$(NATDYNLINK)" "true" - all:: nums.cmxs - endif - -@@ -70,10 +70,10 @@ - # is installed via findlib - - TOINSTALL=nums.cma libnums.$(A) $(CMIS) $(CMIS:.cmi=.mli) $(CMIS:.cmi=.cmti) -+ifeq "$(NATDYNLINK)" "true" - ifneq "$(ARCH)" "none" - TOINSTALL+=nums.cmxa nums.$(A) $(CMXS) - endif --ifeq "$(NATDYNLINK)" "true" - TOINSTALL+=nums.cmxs - endif - ifeq "$(SUPPORTS_SHARED_LIBRARIES)" "true" |