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 0000000000000..90699b99474c5 --- /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 + diff --git a/dev-ml/num/num-1.4-r3.ebuild b/dev-ml/num/num-1.4-r3.ebuild index 4b0101e0e90f1..6440704457e1a 100644 --- a/dev-ml/num/num-1.4-r3.ebuild +++ b/dev-ml/num/num-1.4-r3.ebuild @@ -19,6 +19,8 @@ RDEPEND="dev-lang/ocaml:=[ocamlopt?]" BDEPEND="${RDEPEND}" DEPEND="dev-ml/findlib:=[ocamlopt?]" +PATCHES=( "${FILESDIR}"/${P}-ocamlopt.patch ) + src_compile() { emake CFLAGS="${CFLAGS}" NATDYNLINK="$(usex ocamlopt true false)" }