Add twelf, ebuild by me

Package-Manager: portage-2.1.11.34/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F

10 files changed, 260 insertions, 0 deletions

diff --git a/sci-mathematics/twelf/ChangeLog b/sci-mathematics/twelf/ChangeLog
new file mode 100644
index 000000000000..ee24dd0ce143
--- /dev/null
+++ b/sci-mathematics/twelf/ChangeLog
@@ -0,0 +1,13 @@
+# ChangeLog for sci-mathematics/twelf
+# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.1 2012/12/09 23:02:17 gienah Exp $
+
+*twelf-1.7.1 (09 Dec 2012)
+
+  09 Dec 2012; Mark Wright <gienah@gentoo.org> +files/50twelf-gentoo.el,
+  +files/twelf-1.7.1-Makefile.patch,
+  +files/twelf-1.7.1-doc-guide-Makefile.patch,
+  +files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch,
+  +files/twelf-1.7.1-emacs-twelf-init.patch,
+  +files/twelf-1.7.1-emacs-twelf.patch, +metadata.xml, +twelf-1.7.1.ebuild:
+  Add twelf, ebuild by me
diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest
new file mode 100644
index 000000000000..92169a837fdc
--- /dev/null
+++ b/sci-mathematics/twelf/Manifest
@@ -0,0 +1,20 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA256
+
+AUX 50twelf-gentoo.el 104 SHA256 1d3382c18895a3f5a6b4c1aebc5d9fc2d2aa94a7c196d5b5ccc9a7bc27a1498d SHA512 b6bd1f73b2224c37f783d0b2cdb16cd4e5435280c7448fd7600398ab2806edb574ec4e811adf26bfc1fbc9d0c311dbb521022b2a9dacbfecfa1ffef488c764bb WHIRLPOOL dea650f36310f83a8b4d3ac51cebb19054e48279e589b4080fbd145f5678be2c0555f1594a28443eebe118873639abf933e58a5ac7f510b1c06397d8248876b5
+AUX twelf-1.7.1-Makefile.patch 1298 SHA256 77038dabdd5fc990d78cba18ce42f598a2ec5a94c85a38ff6e15b08b2517853a SHA512 ffc7c147790b180c50eb645b896ad86c35b771ad516d2a85998f8edfd0e1ff1db98d1880b6e8b02e4ddcf8f218761ab26ddfee9bd5ab876b3bd1caa6a3e0e78e WHIRLPOOL ef6e408c659284ea647692fd73dfb9512138ec1287364bd59fac255e7ae6fcec1ac94233c5fd2e695bf03ee73a7b2607d1e00437d97815f8fe3c4d6dc0bebcfa
+AUX twelf-1.7.1-doc-guide-Makefile.patch 498 SHA256 1a71e3686e1d84afbccb39649b1fdcc44a44bc458fd4ede2f323ee7b12a4dc30 SHA512 240192028c9dd9a953ff9778bc9753a08dffa0f3332b72d4d2cd64a594f32fb183092ce1a4ace9fe9e0123d469be50983e4d081db989165beba33212de74b3d0 WHIRLPOOL 62ffc47f3448b75325f051f62a7b2ef7bf60293927f1d7b16a3d441481c9e18602a5c56e8bbaaa51d5c0a33ec5b574a1887f10ee923b241156ec8f3c1e3c9a52
+AUX twelf-1.7.1-doc-guide-twelf-dot-texi.patch 386 SHA256 a21601d5ee953358fc155a96a0167b3fefae2deea9074f7bd53af287836c6df8 SHA512 60741e8df6e2b200f22c435ccf2d092624b601ad71ffc1a3388e9ae1bca6ef0d92092940075d9786efed6218d82cf1a344d3a433eabbdabe2514ff985a6948b7 WHIRLPOOL 1323969b3f369de40e4f6d73b1832e7e4dc3c022fefecf00a6c90ff5bc17cdbe345e66d530589751f87f823c035e72e55ed05d3beaf58aa742e2866db64c57fa
+AUX twelf-1.7.1-emacs-twelf-init.patch 813 SHA256 e3f2ffa9dc7e6c1d05a23ede172199a005411be3061e3d3dab65fcb126db4afe SHA512 b45415b57dee44da7a38ea1f40b58526f0f69d012a16c316ebd6c3c9c856bbffd270f034d172b4ddeb083b7289c87eabf805a96fc9475f501038fb6c85a0f571 WHIRLPOOL c48647209e071b8795fdfb8be44c8397ed814a219dba58801cccb82626025ea1b6132289f63b9d475162df3ab0365b88f38e6b797d557047872e1e9c1e0f6aff
+AUX twelf-1.7.1-emacs-twelf.patch 602 SHA256 30a8fca3da1b64d06ecb7572c62f832fba7cb2c329d73f86aa74714eba8527ef SHA512 e5fd550210b7107fdafc27906dcb22318d1b0b6044d2502cfb968fb3b5d4baca5535cd6ae995638f38395d08641e59f5b87c76eac190653a6dad89bf52eb1a97 WHIRLPOOL 647290f3c6a42e5075baa78e6683a496b6e0472e0346e4ad85d91978f09c1d1137864452f7993e2a6bb99a6b24f4615099c4e8d09aa95deb53af483de37a6006
+DIST twelf-src-1.7.1.tar.gz 1147610 SHA256 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df WHIRLPOOL 231879beb66ff143acd3245c10b5e25a91994e67eb3b12aedd0e5a2378a94a2e1f3b29953b1ea24e98ca0063f27aff662cfdd1cea01163be435a6dbba1f0d2b9
+EBUILD twelf-1.7.1.ebuild 2435 SHA256 c85d0c3bffde90ed49bda78d06d88f20b886ed19da2846012fd5921457f00de5 SHA512 3efdeaffd7ddd35282b664b34cf4f53eb75b8422c5c90897265f95b134e3b867d016ddbe1123131cedf3b963c58183e7a6a7404a65b9ea392aa7b38dc8411ef1 WHIRLPOOL 466fcb5a44ecfee072366f3e73addcd9d9b27af81278894733e3f63f850fe38d26b9ffac873637a562358147cb1dabc63b6e134792ee3bae999a516c170f28c8
+MISC ChangeLog 600 SHA256 7aa4c8853cb95f5a39f6aebba47ba7bb4d16a6a3aa2d5a9e26d146155ade9c0f SHA512 5e840db46839d4da9177d35489146453ef6237a53afd148b9d36419ed1418c9d15eb66b67adb62f363d4c52105239fad3f807bcce27bd17d6a3c00e57fd4cb30 WHIRLPOOL d634ff1cdc87ead06f9ba0328f6ca0398b3eca733fb1cd7436dfad8d5a63c4000f746b78ecdc6f366ea81ba41fa0194988a1698a78962312143b894ea088f0bf
+MISC metadata.xml 396 SHA256 d045f9992ddf5985a85a264e5dbad245c11bbf6dc5da3dea9bca082780583104 SHA512 49ce8e2a71c39ec22830e9cedfddfe573d94379b5d47baad9213258b71f385c55d75089874bb8528e67905a74acfe0835f88e2a49750e1b4a7322e9e044e38f0 WHIRLPOOL f9827d55e970247072b6067f9aca623b13668fa39bc45833299a820085bdcc9a5ba234439676a302b44880b9ab637378dee169e714f379a35496035456f3e8e4
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.19 (GNU/Linux)
+
+iF4EAREIAAYFAlDFGH8ACgkQoBEVQmGOlx+PsgEA01NOnhM3ezpQ7eG8CEYZgVQ+
+rkVMyLn8y0eHQYBPdbYBAI/OXyeSaFF32Z/MJW9nHODvJnIOQUec1lk2JE9Nt+WQ
+=szXI
+-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/twelf/files/50twelf-gentoo.el b/sci-mathematics/twelf/files/50twelf-gentoo.el
new file mode 100644
index 000000000000..5bda54b2f19a
--- /dev/null
+++ b/sci-mathematics/twelf/files/50twelf-gentoo.el
@@ -0,0 +1,4 @@
+;;; twelf site-lisp configuration
+
+(setq twelf-root "@SITELISP@")
+(add-to-list 'load-path "@SITELISP@")
diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-Makefile.patch b/sci-mathematics/twelf/files/twelf-1.7.1-Makefile.patch
new file mode 100644
index 000000000000..84631f357d9d
--- /dev/null
+++ b/sci-mathematics/twelf/files/twelf-1.7.1-Makefile.patch
@@ -0,0 +1,43 @@
+--- twelf-orig/Makefile	2011-03-03 09:41:47.000000000 +1100
++++ twelf/Makefile	2012-12-10 00:19:52.255787064 +1100
+@@ -17,6 +17,18 @@
+ twelfdir = `pwd`
+ twelfserver = twelf-server
+ 
++ifdef CFLAGS
++ccopts=$(foreach cf,$(CFLAGS),-cc-opt $(cf))
++else
++ccopts=
++endif
++
++ifdef LDFLAGS
++linkopts=$(foreach lf,$(LDFLAGS),-link-opt $(lf))
++else
++linkopts=
++endif
++
+ # ---------------------------------------------------------------
+ # You should not need to edit beyond this point
+ # ---------------------------------------------------------------
+@@ -53,12 +65,12 @@
+ 		echo; echo "Error: MLton >= 20041109 required";	echo;	\
+ 		exit 1;							\
+ 	fi;								\
+-	$(mlton) -output bin/$(twelfserver) build/$${cmfileid}
++	$(mlton) $(ccopts) $(linkopts) -as-opt -Wa,--noexecstack -output bin/$(twelfserver) build/$${cmfileid}
+ 
+ .PHONY: twelf-server-smlnj
+ twelf-server-smlnj:
+ 	$(smlnj) < build/twelf-server-smlnj.sml ;
+-	bin/.mkexec "$(smlnj)" "$(twelfdir)" twelf-server "$(twelfserver)" ;
++	bin/.mkexec "$(smlnj)" "$(twelfdir)" twelf-server "$(twelfserver)" "$(twelfexecdir)" ;
+ 
+ .PHONY: twelf-emacs
+ twelf-emacs: ; 
+@@ -87,4 +99,4 @@
+ 	$(mlton) -output bin/twelf-regression TEST/mlton-regression.cm
+ 
+ check : twelf-regression
+-	$(make) -C TEST check
+\ No newline at end of file
++	$(make) -C TEST check
diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch b/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch
new file mode 100644
index 000000000000..092b12b20dc0
--- /dev/null
+++ b/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-Makefile.patch
@@ -0,0 +1,13 @@
+--- twelf-orig/doc/guide/Makefile	2002-09-24 13:59:23.000000000 +1000
++++ twelf/doc/guide/Makefile	2012-12-10 00:51:02.758835185 +1100
+@@ -38,8 +38,8 @@
+ 
+ twelf_toc.html : twelf.texi;
+ 	@echo "---------- Creating HTML: twelf_*.html"
+-	$(texi2html) -menu -number -split_chapter twelf.texi;
+-	$(texi2html) -check *.html;
++	$(texi2html) -menu -number-sections -split_chapter twelf.texi;
++#	$(texi2html) -check *.html;
+ 
+ twelf.pdf : twelf.texi;
+ 	@echo "---------- Creating unindexed PDF: twelf.pdf"
diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch b/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch
new file mode 100644
index 000000000000..877ecd60b710
--- /dev/null
+++ b/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch
@@ -0,0 +1,14 @@
+--- twelf-orig/doc/guide/twelf.texi	2004-04-01 04:26:38.000000000 +1000
++++ twelf/doc/guide/twelf.texi	2012-12-08 21:14:17.026139996 +1100
+@@ -12,6 +12,11 @@
+ @syncodeindex fn cp
+ @c %**end of header
+ 
++@dircategory Programming
++@direntry
++* Twelf User Guide: (twelf).   The Twelf User's Guide.
++@end direntry
++
+ @titlepage
+ @title Twelf User's Guide
+ @subtitle Version @value{VERSION}
diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf-init.patch b/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf-init.patch
new file mode 100644
index 000000000000..983c3c2290ed
--- /dev/null
+++ b/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf-init.patch
@@ -0,0 +1,22 @@
+--- twelf-orig/emacs/twelf-init.el	2002-12-28 16:15:42.000000000 +1100
++++ twelf/emacs/twelf-init.el	2012-12-10 00:45:49.363104690 +1100
+@@ -20,16 +20,13 @@
+ 			      auto-mode-alist)))))
+ 
+ ;; Default Twelf server program location
+-(setq twelf-server-program
+-      (concat twelf-root "bin/twelf-server"))
++(setq twelf-server-program "/usr/bin/twelf-server")
+ 
+ ;; Default Twelf SML program location
+-(setq twelf-sml-program
+-      (concat twelf-root "bin/twelf-sml"))
++(setq twelf-sml-program "/usr/bin/twelf-sml")
+ 
+ ;; Default documentation location (in info format)
+-(setq twelf-info-file
+-      (concat twelf-root "doc/info/twelf.info"))
++(setq twelf-info-file "/usr/share/info/twelf.info")
+ 
+ ;; Automatically highlight Twelf sources using font-lock
+ (add-hook 'twelf-mode-hook 'twelf-font-fontify-buffer)
diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf.patch b/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf.patch
new file mode 100644
index 000000000000..c6c3a9b1fae1
--- /dev/null
+++ b/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf.patch
@@ -0,0 +1,11 @@
+--- twelf-orig/emacs/twelf.el	2008-07-13 06:06:03.000000000 +1000
++++ twelf/emacs/twelf.el	2012-12-10 00:39:05.332036491 +1100
+@@ -1815,7 +1815,7 @@
+          (twelf-server-process (twelf-server-process twelf-server-buffer))
+          (proc-mark (process-mark twelf-server-process))
+          (_ (display-buffer twelf-server-buffer))
+-         (twelf-server-window (get-buffer-window twelf-server-buffer)))
++         (twelf-server-window (get-buffer-window twelf-server-buffer t)))
+     (if (not (pos-visible-in-window-p proc-mark twelf-server-window))
+         (progn
+           (push-mark proc-mark)
diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml
new file mode 100644
index 000000000000..2313d6531936
--- /dev/null
+++ b/sci-mathematics/twelf/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer>
+  <email>gienah@gentoo.org></email>
+</maintainer>
+<longdescription lang='en'>
+Twelf is an implementation of the logical framework LF. It is used for
+logic programming and for the formalization of programming language
+theory.
+</longdescription>
+</pkgmetadata>
diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild
new file mode 100644
index 000000000000..368adb6d32ab
--- /dev/null
+++ b/sci-mathematics/twelf/twelf-1.7.1.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild,v 1.1 2012/12/09 23:02:17 gienah Exp $
+
+EAPI="5"
+
+inherit base elisp-common multilib
+
+MY_PN="${PN}-src"
+MY_P="${MY_PN}-${PV}"
+
+DESCRIPTION="Twelf is an implementation of the logical framework LF."
+HOMEPAGE="http://twelf.org/"
+SRC_URI="http://twelf.plparty.org/releases/${MY_P}.tar.gz"
+
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+LICENSE="BSD-2"
+IUSE="doc emacs examples"
+# tests reference non-existing directory TEST
+RESTRICT="test"
+
+RDEPEND="dev-lang/mlton
+	doc? (
+		virtual/latex-base
+	)
+	emacs? (
+		virtual/emacs
+	)"
+DEPEND="${RDEPEND}
+	dev-util/omake"
+
+S=${WORKDIR}/${PN}
+
+SITEFILE=50${PN}-gentoo.el
+
+PATCHES=("${FILESDIR}/${PN}-1.7.1-doc-guide-twelf-dot-texi.patch"
+	"${FILESDIR}/${PN}-1.7.1-doc-guide-Makefile.patch"
+	"${FILESDIR}/${PN}-1.7.1-emacs-twelf.patch"
+	"${FILESDIR}/${PN}-1.7.1-emacs-twelf-init.patch"
+	"${FILESDIR}/${PN}-1.7.1-Makefile.patch")
+
+src_prepare() {
+	base_src_prepare
+	sed -e "s@/usr/bin@${ROOT}usr/bin@g" \
+		-e "s@/usr/share@${ROOT}usr/share@" \
+		-i "${S}"/emacs/twelf-init.el \
+		|| die "Could not set ROOT in ${S}/emacs/twelf-init.el"
+}
+
+src_compile() {
+	emake mlton CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}"
+	if use emacs ; then
+		pushd "${S}/emacs" || die "Could change directory to emacs"
+		elisp-compile \
+			auc-menu.el \
+			twelf-font.el \
+			twelf-init.el \
+			twelf.el \
+			|| die "emacs elisp compile failed"
+		popd
+	fi
+	if use doc; then
+		pushd doc/guide
+		emake all
+		popd
+	fi
+}
+
+ins_example_dir() {
+	dodir "/usr/share/${PN}/examples/${1}"
+	insinto "/usr/share/${PN}/examples/${1}"
+	pushd "${S}/${1}"
+	doins -r *
+	popd
+}
+
+src_install() {
+	if use emacs ; then
+		elisp-install ${PN} emacs/*.{el,elc}
+		cp "${FILESDIR}"/${SITEFILE} "${S}"
+		elisp-site-file-install ${SITEFILE}
+	fi
+	if use examples; then
+		ins_example_dir examples
+		ins_example_dir examples-clp
+		ins_example_dir examples-delphin
+	fi
+	exeinto /usr/bin
+	doexe bin/twelf-server
+	dohtml doc/html/index.html
+	doinfo doc/guide/twelf.info
+	dodoc doc/guide/twelf.dvi doc/guide/twelf.ps doc/guide/twelf.pdf
+	dohtml doc/guide/twelf/*
+}
+
+pkg_postinst() {
+	if use emacs; then
+		elisp-site-regen
+		ewarn "For twelf emacs, add this line to ~/.emacs"
+		ewarn ""
+		ewarn '(load (concat twelf-root "/twelf-init.el"))'
+	fi
+}
+
+pkg_postrm() {
+	use emacs && elisp-site-regen
+}