diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-21 13:55:00 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-21 13:55:00 +0100 |
| commit | 8cb49dc0aecd8d426dbab587cdaa8034fa053df8 (patch) | |
| tree | d08a07653a6d342c095d5ec6ecdc1ba103af6f79 /dev-ml | |
| parent | games-util/antimicrox: bump to 3.3.2 (diff) | |
| download | gentoo-8cb49dc0aecd8d426dbab587cdaa8034fa053df8.tar.gz gentoo-8cb49dc0aecd8d426dbab587cdaa8034fa053df8.tar.bz2 gentoo-8cb49dc0aecd8d426dbab587cdaa8034fa053df8.zip | |
dev-ml/ounit2: remove seq reference from dune build file
Closes: https://bugs.gentoo.org/882337
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ounit2/files/ounit2-2.2.6-dune.patch | 19 | ||||
| -rw-r--r-- | dev-ml/ounit2/ounit2-2.2.6.ebuild | 2 |
2 files changed, 21 insertions, 0 deletions
diff --git a/dev-ml/ounit2/files/ounit2-2.2.6-dune.patch b/dev-ml/ounit2/files/ounit2-2.2.6-dune.patch new file mode 100644 index 000000000000..9ef29326f6d0 --- /dev/null +++ b/dev-ml/ounit2/files/ounit2-2.2.6-dune.patch @@ -0,0 +1,19 @@ +--- a/src/lib/ounit2/dune ++++ b/src/lib/ounit2/dune +@@ -2,7 +2,7 @@ + (name oUnit) + (public_name ounit2) + (wrapped false) +- (libraries unix seq ounit2.advanced)) ++ (libraries unix ounit2.advanced)) + + (documentation + (package ounit2) +--- a/src/lib/ounit2/advanced/dune ++++ b/src/lib/ounit2/advanced/dune +@@ -7,4 +7,4 @@ + (name oUnitAdvanced) + (public_name ounit2.advanced) + (wrapped false) +- (libraries unix bytes seq stdlib-shims)) ++ (libraries unix bytes stdlib-shims)) diff --git a/dev-ml/ounit2/ounit2-2.2.6.ebuild b/dev-ml/ounit2/ounit2-2.2.6.ebuild index d86216a306f2..4658b3fb40bb 100644 --- a/dev-ml/ounit2/ounit2-2.2.6.ebuild +++ b/dev-ml/ounit2/ounit2-2.2.6.ebuild @@ -21,6 +21,8 @@ DEPEND=" " RDEPEND="${DEPEND}" +PATCHES=( "${FILESDIR}"/${P}-dune.patch ) + src_install() { dune-install ${PN} ${PN}-lwt } |