diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-01-19 21:22:37 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-01-19 21:22:37 +0100 |
| commit | e6f35556d8f0ec4503ce7864d500ec1f08827882 (patch) | |
| tree | 8744d3638423c0c65e4a404e862bcd8485c856e9 | |
| parent | dev-libs/leatherman: 1.12.7 bump (diff) | |
| download | gentoo-e6f35556.tar.gz gentoo-e6f35556.tar.bz2 gentoo-e6f35556.zip | |
dev-ml/num: fix install with -ocamlopt
Closes: https://bugs.gentoo.org/831496
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
| -rw-r--r-- | dev-ml/num/files/num-1.4-ocamlopt.patch | 12 |
1 files changed, 12 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 index 90699b99474c..6db5015e1d9a 100644 --- a/dev-ml/num/files/num-1.4-ocamlopt.patch +++ b/dev-ml/num/files/num-1.4-ocamlopt.patch @@ -13,3 +13,15 @@ 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" |