summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2015-11-05 09:47:33 +0100
committerAlexis Ballier <aballier@gentoo.org>2015-11-05 09:47:33 +0100
commit319246f68987611f4e3287937719ee1ad89096c5 (patch)
tree18bf8a1f934c797b766fb01433ede10abe5d8064 /dev-ml
parentdev-ml/zarith: Bump to 1.4. (diff)
downloadgentoo-319246f68987611f4e3287937719ee1ad89096c5.tar.gz
gentoo-319246f68987611f4e3287937719ee1ad89096c5.tar.bz2
gentoo-319246f68987611f4e3287937719ee1ad89096c5.zip
dev-ml/utop: Bump to 1.18.1
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/utop/Manifest1
-rw-r--r--dev-ml/utop/utop-1.18.1.ebuild59
2 files changed, 60 insertions, 0 deletions
diff --git a/dev-ml/utop/Manifest b/dev-ml/utop/Manifest
index 8a2c4d6f9113..3f74eef7c283 100644
--- a/dev-ml/utop/Manifest
+++ b/dev-ml/utop/Manifest
@@ -1,3 +1,4 @@
DIST utop-1.11.tar.gz 102730 SHA256 07dff727de3db9b9014f7ece3e94f044b50f9f0896e982c99efaa5199d4ccf2d SHA512 b26513f081e1ef6a139d74ca63b7d96a16d89a03d2dd42ccb4bc21463104184147c636bf26e44116fbba2330b8116ff9ee884fcc042fac89356f65ac2b133a92 WHIRLPOOL 4f0ca27eae1d2bc5a382d35b4bcfd4ad0ab581727df700047a9b71dc15a8b609ee5262911216456cea7f7e7b45a3f441fe80288a67e18283eb13e11d2f9a12b0
DIST utop-1.16.tar.gz 99563 SHA256 f2d0a2cc8ab74dbbec3e9b3f83eea097a8da482c3831392741657b16093a129d SHA512 a374d1974bd1c6a30544938dc3d19d10e38363f0ad51563fd151752cc2b2cbe4e9a0a782263daf93b58631d7c105f81f52767341a684e3efed2397056c7b993a WHIRLPOOL f53700540f3a068f0dba72b7511d607fafb5505b2cabeaad2ede8c69eba2c7d2c3949f266c23b35deab1500075ba7c727a9db7178ae72395f4c67a9d92dc3d65
+DIST utop-1.18.1.tar.gz 101718 SHA256 a8dae3d520a28eb0a57620d53901f523ee3da0a54bffb0e6364aa3da9c50f242 SHA512 d828f4b76dd3deba5d07d86fcc3d2e4513d35514517c56618c499f2405a7f8df7912097064f71b2591a3eb9da6890d90f2e11a8f38cf850391d09094c68e0fdc WHIRLPOOL f8c1ead6bc53133361bee5190c0deded86ac058be8ed4a8237820e6fcb534b24ff9281249bfc76ec620085c2ea61858e7a639e5cc4f6d823a1c5fef5c7315444
DIST utop-1.18.tar.gz 101673 SHA256 157f3883a3daf379ba7d67118e1e2a4d2d73e9c3461fe82219dff4fe662272a1 SHA512 b352ad9a91c1ad5214a7689ca2d71ae41c2891ea240d41620ce2778f10380116709e2d2575f56d972bb038eb0c2333253c2fd3482be1eb145b976a2922175086 WHIRLPOOL ffa1c46f90b66dca4c2c3d95a9abac4ba4a2087b2121a4eb7b3daeccae550db82f0894dedcc9169d5ec9fec83ccd2de727374664bb0f49ea4151fad28018e68a
diff --git a/dev-ml/utop/utop-1.18.1.ebuild b/dev-ml/utop/utop-1.18.1.ebuild
new file mode 100644
index 000000000000..8da80ebddb9a
--- /dev/null
+++ b/dev-ml/utop/utop-1.18.1.ebuild
@@ -0,0 +1,59 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+OASIS_BUILD_DOCS=1
+inherit oasis elisp-common
+
+DESCRIPTION="A new toplevel for OCaml with completion and colorization"
+HOMEPAGE="https://github.com/diml/utop"
+SRC_URI="https://github.com/diml/utop/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="camlp4 emacs"
+
+DEPEND=">=dev-ml/lwt-2.4.0:=[react]
+ >=dev-ml/lambda-term-1.2:=
+ >=dev-ml/zed-1.2:=
+ >=dev-ml/cppo-1.0.1:=
+ emacs? ( virtual/emacs )
+ camlp4? ( || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) )"
+RDEPEND="${DEPEND}"
+
+DOCS=( "CHANGES.md" "README.md" )
+SITEFILE="50${PN}-gentoo.el"
+
+src_prepare() {
+ sed -i "s/(\"utop.el.*)//" setup.ml
+}
+
+src_configure() {
+ oasis_configure_opts="$(use_enable camlp4)" \
+ oasis_src_configure
+}
+src_compile() {
+ oasis_src_compile
+ if use emacs; then
+ elisp-compile src/top/*.el
+ fi
+}
+
+src_install() {
+ oasis_src_install
+ if use emacs; then
+ elisp-install "${PN}" src/top/*.el src/top/*.elc || die
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}