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, 27 insertions, 0 deletions
diff --git a/dev-ml/num/files/num-1.4-ocamlopt.patch b/dev-ml/num/files/num-1.4-ocamlopt.patch new file mode 100644 index 000000000000..6db5015e1d9a --- /dev/null +++ b/dev-ml/num/files/num-1.4-ocamlopt.patch @@ -0,0 +1,27 @@ +--- 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" |