diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2022-01-12 20:03:24 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-01-12 20:03:24 +0100 |
| commit | df63ec0cfb7adccbc4e0e70b00a4a989ec474035 (patch) | |
| tree | 24dcde6ad395ef22e8fc5e1dfb7825f1a9e2b7aa /dev-ml/num/files/num-1.4-ocamlopt.patch | |
| parent | c33c6f564944ad947b8e736abc6cfe53708a49b6 (diff) | |
| download | gentoo-df63ec0cfb7adccbc4e0e70b00a4a989ec474035.tar.gz gentoo-df63ec0cfb7adccbc4e0e70b00a4a989ec474035.tar.bz2 gentoo-df63ec0cfb7adccbc4e0e70b00a4a989ec474035.zip | |
dev-ml/num: respect ocamlopt
Closes: https://bugs.gentoo.org/822321
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/num/files/num-1.4-ocamlopt.patch')
| -rw-r--r-- | dev-ml/num/files/num-1.4-ocamlopt.patch | 15 |
1 files changed, 15 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..90699b99474c --- /dev/null +++ b/dev-ml/num/files/num-1.4-ocamlopt.patch @@ -0,0 +1,15 @@ +--- 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 + |