diff options
-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() { |