diff options
Diffstat (limited to 'dev-ml/facile')
| -rw-r--r-- | dev-ml/facile/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/facile/facile-1.1.4.ebuild | 14 |
2 files changed, 14 insertions, 2 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index 5d1ac95f7b1d..7e4761bdfebd 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1,4 +1,4 @@ AUX facile-1.1.4-dune.patch 883 BLAKE2B d563aff52eda151c9579c378253b74811759a8e66cae9dc775ebf3bed3717d6289ec40a107610032de3c575a8c98cd45651fe7d26c7a08e55887b1d2c61ad613 SHA512 df90e73916b2e42d20bae837c24be96633ef34fe731bac07307ade12fb10fbf5c575658ee295c5003f28aa989574fe323c7a3040b6063bf8522d0691a5255a5e DIST facile-1.1.4.tbz 83874 BLAKE2B a0921615425124b6f1ba51a939bd4c89bcab71a0341e5b866f2c44d89863c077c42f269fcee2a8e302c580ce618c4e765f826fd9c4855f9e992c35cbdc8660db SHA512 b4484275ebf7f0bd271d865c6745bd1784e2260060470f64f86a18833a9663efbf56b089ae668c51f57bc8473281af4e92d461b87eefb2c62162fa7da60838f9 -EBUILD facile-1.1.4.ebuild 538 BLAKE2B ce4637c9c11347d92998c6e92753906d2606cba755799aedf268fd562e4afb61e410dba39e51ae76e1e86e11d1a92ca08bfc2ca91f61db4892b8bb3c16fe5053 SHA512 cd4b404eaea4c022dddbf06b05aced5a83253b06d1ac0da85379809401b6a9d247419bf0f157dbb54e576a2bb1e3c677b4e7536e3714aa0316273bdd462e3277 +EBUILD facile-1.1.4.ebuild 727 BLAKE2B f2c64090e8550339ae2c48b89a339f4f040ac5a44ae3d9be53040fe48d074c03e6ffacec3399729d8bc5303b461db0298a3beaf5138526b512a1aaa08c4e9b31 SHA512 cd7099a0cd35f75ec6adfac3482222600a06d920a7e20ad5aebd413f40ccc9ab61828831ba2d65599ab96b79e7e729f31ec7f3998ea77aa4235fead01997ba3a MISC metadata.xml 427 BLAKE2B 5d2175a32c7c2005d4f7ce47d7c775053f4b0c2d4e707138669db582d5239356ae8a53c5b48b3751580a72db52d256250fc4aec98cfc17b40ed7567571f954df SHA512 a5add2382c31da550a44168738d8d0b10711f5d225320dac43f67e07ab443ce345b79ba027822d3e29845325a8cc0b70c20894deea260e7fad4081bbe86b6724 diff --git a/dev-ml/facile/facile-1.1.4.ebuild b/dev-ml/facile/facile-1.1.4.ebuild index 41a016660704..43e94e694256 100644 --- a/dev-ml/facile/facile-1.1.4.ebuild +++ b/dev-ml/facile/facile-1.1.4.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -19,3 +19,15 @@ RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" DEPEND="${RDEPEND}" PATCHES=( "${FILESDIR}"/${P}-dune.patch ) + +src_prepare() { + default + sed -i \ + -e "s:Pervasives:Stdlib:g" \ + lib/fcl_misc.ml \ + lib/fcl_cstr.ml \ + lib/fcl_fdArray.ml \ + lib/fcl_nonlinear.ml \ + lib/fcl_sorting.ml \ + || die +} |