diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-01-25 22:59:27 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-01-25 22:59:50 +0100 |
| commit | 89d0f9d2d7c603f9e8dc44530539d970b332a62e (patch) | |
| tree | 646df72dafad806bc49d2002511cd8693888eb7f /dev-ml/zarith | |
| parent | net-misc/oidc-agent: add 4.5.0 (diff) | |
| download | gentoo-89d0f9d2d7c603f9e8dc44530539d970b332a62e.tar.gz gentoo-89d0f9d2d7c603f9e8dc44530539d970b332a62e.tar.bz2 gentoo-89d0f9d2d7c603f9e8dc44530539d970b332a62e.zip | |
dev-ml/zarith: fix make
Closes: https://bugs.gentoo.org/881129
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/zarith')
| -rw-r--r-- | dev-ml/zarith/files/zarith-1.12-shuffle.patch | 11 | ||||
| -rw-r--r-- | dev-ml/zarith/zarith-1.12.ebuild | 4 |
2 files changed, 14 insertions, 1 deletions
diff --git a/dev-ml/zarith/files/zarith-1.12-shuffle.patch b/dev-ml/zarith/files/zarith-1.12-shuffle.patch new file mode 100644 index 000000000000..4ddff37d6b04 --- /dev/null +++ b/dev-ml/zarith/files/zarith-1.12-shuffle.patch @@ -0,0 +1,11 @@ +--- a/project.mak 2023-01-25 22:56:39.079292147 +0100 ++++ b/project.mak 2023-01-25 22:56:57.865057118 +0100 +@@ -145,7 +145,7 @@ + make -C tests clean + + depend: $(AUTOGEN) +- $(OCAMLDEP) -native $(OCAMLINC) $(MLSRC) $(MLISRC) > depend ++ $(OCAMLDEP) $(OCAMLINC) $(MLSRC) $(MLISRC) > depend + + include depend + diff --git a/dev-ml/zarith/zarith-1.12.ebuild b/dev-ml/zarith/zarith-1.12.ebuild index f816228c6ad3..275b33c37e47 100644 --- a/dev-ml/zarith/zarith-1.12.ebuild +++ b/dev-ml/zarith/zarith-1.12.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -23,6 +23,8 @@ RDEPEND=" DEPEND="${RDEPEND} dev-lang/perl" DOCS=( README.md Changes ) +PATCHES=( "${FILESDIR}"/${P}-shuffle.patch ) + S="${WORKDIR}/Zarith-release-${PV}" src_configure() { |