summaryrefslogtreecommitdiff
path: root/dev-ml/ocsigen-i18n
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/ocsigen-i18n
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/ocsigen-i18n')
-rw-r--r--dev-ml/ocsigen-i18n/Manifest3
-rw-r--r--dev-ml/ocsigen-i18n/metadata.xml11
-rw-r--r--dev-ml/ocsigen-i18n/ocsigen-i18n-3.1.0.ebuild23
3 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/ocsigen-i18n/Manifest b/dev-ml/ocsigen-i18n/Manifest
new file mode 100644
index 000000000000..c5a901a3e086
--- /dev/null
+++ b/dev-ml/ocsigen-i18n/Manifest
@@ -0,0 +1,3 @@
+DIST ocsigen-i18n-3.1.0.tar.gz 6066 BLAKE2B 80c905a8b332a0b83c6184581b97c4766dc1059770eb5832881eb00a0201b2d093bf15b48432c2ed17a26b719afe0ebb919ea971eb75a7b3f99b5e600c0e79d2 SHA512 a103c8da39ffadbe90ef183ee9ad3b68f3b5feb8dd5cf9d94f37880dcfedd495bbe799e218e739eb830e8dc7c8636edbd8c00ce9c0843ecf8047f9eb00b9f18f
+EBUILD ocsigen-i18n-3.1.0.ebuild 537 BLAKE2B f3524aa4d43cede4e6e1fbd10fe97209c058ec1eb15feb5d7e9b415371e3794e1bffacde574d8b2f0db6cbd7566bde1eb75f7b29a28722e7dfcb25d7ecef10c8 SHA512 bfd8aae4929b658130afcfec65f7efd80ce38cf8092e8347241c86e65ecc77c573732fad7085840869ec5f5df8aa1818c3fdd9682076dd8a590979a25a9de542
+MISC metadata.xml 332 BLAKE2B 65e9bddf927ebe8d5cebdc06de37b0b49f1c51b70f8b6e7941d2662a472fc1775bf551ae2734726d1f317a508d347e1e07402a1f4dfae23a30513581190f037f SHA512 48cdf62c68d08f7d5a3b8c8ac917481418232ab4f9b37ebccab8742f4516139044c9ce54efe771d2b9fd7fa8e4daffd6311c895d9352ac1a28931bfecf17c510
diff --git a/dev-ml/ocsigen-i18n/metadata.xml b/dev-ml/ocsigen-i18n/metadata.xml
new file mode 100644
index 000000000000..d19446036e3e
--- /dev/null
+++ b/dev-ml/ocsigen-i18n/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">besport/ocsigen-i18n</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ocsigen-i18n/ocsigen-i18n-3.1.0.ebuild b/dev-ml/ocsigen-i18n/ocsigen-i18n-3.1.0.ebuild
new file mode 100644
index 000000000000..ab2fac7140f3
--- /dev/null
+++ b/dev-ml/ocsigen-i18n/ocsigen-i18n-3.1.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="I18n made easy for web sites written with eliom"
+HOMEPAGE="https://github.com/besport/ocsigen-i18n"
+SRC_URI="https://github.com/besport/ocsigen-i18n/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="dev-lang/ocaml:="
+DEPEND="${RDEPEND}
+ dev-ml/findlib"
+
+src_install() {
+ dodir /usr/bin
+ emake bindir="${ED}/usr/bin" install || die
+ dodoc README.MD
+}