diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-06-15 14:57:03 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-06-15 14:57:03 +0100 |
| commit | d18bf1e01b65ee4bf0c804e2843b282d3d4e5d7c (patch) | |
| tree | 4a95cbc6ffdf13bad6ecbc7f8d5af99631984123 /dev-ml/topkg | |
| parent | e748ba9741f6540f4675c23e3e37b73e822c13a4 (diff) | |
gentoo resync : 15.06.2021
Diffstat (limited to 'dev-ml/topkg')
| -rw-r--r-- | dev-ml/topkg/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/topkg/topkg-1.0.3.ebuild | 11 |
2 files changed, 9 insertions, 4 deletions
diff --git a/dev-ml/topkg/Manifest b/dev-ml/topkg/Manifest index 4c6cf42da9e4..3a14c7b38673 100644 --- a/dev-ml/topkg/Manifest +++ b/dev-ml/topkg/Manifest @@ -1,3 +1,3 @@ DIST topkg-1.0.3.tar.gz 122302 BLAKE2B c3c583fe6d9c6602c9eeae6ba76f0b8e1eda754cb2ffed8f6a9b51eeea53a2d16ad0af5bf3bf1f257233481efd1e7fecfca7185773dcb4258f6a0a8195aaf61f SHA512 b4f3393b142c5c2d71bb4a25f5af020831bd48ad5c354b68cf5a2df2044b534024f0568da93ad26ca383c97ba4277b4878dba7ce9267146f3805c67f52950cbf -EBUILD topkg-1.0.3.ebuild 916 BLAKE2B 7dd8e37be175b40619bb839898bdf718f512c40b9da5dcf161ae2450686e69ac4fbcea35dba3d76d529dcc7e31b31fc6aad4ebddf7e636d6067dc10cd2c5c9eb SHA512 142e65e46aff6ea85e88c2eca3a855d1f53510d7200256fa595b7f8dcfa9bf060fb05b456adc234196041c35d8051f4c8ab7ad6ad4e001b2bdc9a99f24e571eb +EBUILD topkg-1.0.3.ebuild 976 BLAKE2B 0289324149c3a3c009222e436f25cd926957563db7f20486eaae4b08dc86f114b4a39dce137a6624d243a474f95e8207aa96b3acf4b1b74109cb0c5832bd82c2 SHA512 71b84b60aabb2ff9d2c9a139dd838394a47f52f36d742e21bdb2151cffe103dcf9ac0ce505acde463d1a10e1d6728052b0fdc37fa19ff683c3972c14392a67f8 MISC metadata.xml 323 BLAKE2B f100a88587e1fed61b21439574a4ab40316daf7389f6ccc48d58dd2c3c52dc78945bfdb68b04759cf27b27ee4830f8f58ed88fb13f1d3b250931cced000f0449 SHA512 d2a20e5e628dc479e33282f2ebd612004040ff05208916aa695db6393f762ab88e3bd19814c25a532b825a0720b6974f9c726d5153d668dca34ac528e4f51bff diff --git a/dev-ml/topkg/topkg-1.0.3.ebuild b/dev-ml/topkg/topkg-1.0.3.ebuild index 15977974d687..6afcb25f56be 100644 --- a/dev-ml/topkg/topkg-1.0.3.ebuild +++ b/dev-ml/topkg/topkg-1.0.3.ebuild @@ -12,12 +12,12 @@ SRC_URI="https://github.com/dbuenzli/topkg/archive/v${PV}.tar.gz -> ${P}.tar.gz" LICENSE="ISC" SLOT="0/${PV}" KEYWORDS="amd64 arm arm64 ppc ppc64 x86" -IUSE="" +IUSE="+ocamlopt" RDEPEND="dev-ml/result:= dev-ml/ocamlbuild:= dev-ml/findlib:= - dev-lang/ocaml:=" + dev-lang/ocaml:=[ocamlopt?]" DEPEND="${RDEPEND}" src_compile() { @@ -27,7 +27,12 @@ src_compile() { src_install() { # Can't use opam-installer here as it is an opam dep... findlib_src_preinst - local nativelibs="$(echo _build/src/${PN}*.cm{x,xa,xs,ti} _build/src/${PN}.a)" + + local nativelibs + if use ocamlopt; then + nativelibs=$(echo _build/src/${PN}*.cm{x,xa,xs,ti} _build/src/${PN}.a) + fi + ocamlfind install ${PN} _build/pkg/META _build/src/${PN}.mli _build/src/${PN}.cm{a,i} ${nativelibs} || die dodoc CHANGES.md DEVEL.md README.md } |