diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/topkg/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/topkg/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/topkg/topkg-1.0.3.ebuild | 33 |
3 files changed, 38 insertions, 1 deletions
diff --git a/dev-ml/topkg/Manifest b/dev-ml/topkg/Manifest index aa688bfebc4c..28c8e6e433ec 100644 --- a/dev-ml/topkg/Manifest +++ b/dev-ml/topkg/Manifest @@ -1,2 +1,3 @@ DIST topkg-0.9.0.tar.gz 120352 BLAKE2B 1122fe8b60e3d104136810a2cec8460c24a26061eff55e80347d2ecf197afee949e8afaca94a6615da31a8c3acaf113b44b16dbf2430fda6724e440597775bb5 SHA512 823fe1abb344d7800e09411c952bd276ecea97b5d9c124d986e26b9128d03b3ad023a38560198e476ef8f949ecb456078e332bda94075e9b746e43d3059a8fdb DIST topkg-0.9.1.tar.gz 120943 BLAKE2B 39ac0d1d247183cf9f007c65b09d413ad6a89982d84269e99585ed5f15df4d7683de61548dba6ca5a1299f96206bfd2dc1042486410caa202938dc15e936446b SHA512 19773eb764b53a6e5110c44d7942d2557d6c8502a3037b57f7737efc08f4cc374845b431fdb1465207693d15a4b072aea3db97f8e60e069e3d24ae150e8c5c8f +DIST topkg-1.0.3.tar.gz 122302 BLAKE2B c3c583fe6d9c6602c9eeae6ba76f0b8e1eda754cb2ffed8f6a9b51eeea53a2d16ad0af5bf3bf1f257233481efd1e7fecfca7185773dcb4258f6a0a8195aaf61f SHA512 b4f3393b142c5c2d71bb4a25f5af020831bd48ad5c354b68cf5a2df2044b534024f0568da93ad26ca383c97ba4277b4878dba7ce9267146f3805c67f52950cbf diff --git a/dev-ml/topkg/metadata.xml b/dev-ml/topkg/metadata.xml index 5c8e10a7c535..5b0819cca142 100644 --- a/dev-ml/topkg/metadata.xml +++ b/dev-ml/topkg/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="person"> + <email>gienah@gentoo.org</email> + <name>Mark Wright</name> + </maintainer> <upstream> <remote-id type="github">dbuenzli/topkg</remote-id> </upstream> diff --git a/dev-ml/topkg/topkg-1.0.3.ebuild b/dev-ml/topkg/topkg-1.0.3.ebuild new file mode 100644 index 000000000000..904be8296bff --- /dev/null +++ b/dev-ml/topkg/topkg-1.0.3.ebuild @@ -0,0 +1,33 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit findlib + +DESCRIPTION="The transitory OCaml software packager" +HOMEPAGE="http://erratique.ch/software/topkg https://github.com/dbuenzli/topkg" +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 ~x86" +IUSE="" + +RDEPEND="dev-ml/result:= + dev-ml/ocamlbuild:= + dev-ml/findlib:= + dev-lang/ocaml:=" +DEPEND="${RDEPEND}" + +src_compile() { + ocaml pkg/pkg.ml build --pkg-name ${PN} || die +} + +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)" + 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 +} |