diff options
Diffstat (limited to 'dev-ml/num/files/num-1.4-ocamlopt.patch')
| -rw-r--r-- | dev-ml/num/files/num-1.4-ocamlopt.patch | 27 |
1 files changed, 0 insertions, 27 deletions
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" |