diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
| commit | fcc5224904648a8e6eb528d7603154160a20022f (patch) | |
| tree | 3bfce096b38a9cea8eed13fc70c1526c456e9abd /dev-ml/num/files | |
| parent | 2fd57282f0262ca084e05b0f2c63fbada395d02b (diff) | |
gentoo resync : 02.02.2022
Diffstat (limited to 'dev-ml/num/files')
| -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" |