diff options
| -rw-r--r-- | dev-ml/camlp5/camlp5-7.12.ebuild | 4 | ||||
| -rw-r--r-- | dev-ml/camlp5/camlp5-7.13.ebuild | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/dev-ml/camlp5/camlp5-7.12.ebuild b/dev-ml/camlp5/camlp5-7.12.ebuild index 5b42e456fdf2..57725adb301e 100644 --- a/dev-ml/camlp5/camlp5-7.12.ebuild +++ b/dev-ml/camlp5/camlp5-7.12.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2020 Gentoo Authors +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -42,7 +42,7 @@ src_configure() { -mandir /usr/share/man || die "configure failed" } -src_compile(){ +src_compile() { emake out if use ocamlopt; then emake opt diff --git a/dev-ml/camlp5/camlp5-7.13.ebuild b/dev-ml/camlp5/camlp5-7.13.ebuild index 470b0612971b..79a35e5dfeb0 100644 --- a/dev-ml/camlp5/camlp5-7.13.ebuild +++ b/dev-ml/camlp5/camlp5-7.13.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2020 Gentoo Authors +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -36,7 +36,7 @@ src_configure() { -mandir /usr/share/man || die "configure failed" } -src_compile(){ +src_compile() { emake out if use ocamlopt; then emake opt |