diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-11-21 19:04:59 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-21 19:04:59 +0000 |
| commit | 77b9f0d5906f0bd9ddf010abe155218c6629738a (patch) | |
| tree | 8cea5001e36d78aea62dd100ba74ee77906b69e6 /dev-ml/ounit2/ounit2-2.2.6.ebuild | |
| parent | f5a622ba784bb66ee85eb669a821801c5e135ed8 (diff) | |
gentoo auto-resync : 21:11:2022 - 19:04:59
Diffstat (limited to 'dev-ml/ounit2/ounit2-2.2.6.ebuild')
| -rw-r--r-- | dev-ml/ounit2/ounit2-2.2.6.ebuild | 2 |
1 files changed, 2 insertions, 0 deletions
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 } |