again-birth of the repo (was a wee too messy)

4 files changed, 172 insertions, 0 deletions

diff --git a/sci-mathematics/bedwyr/ChangeLog b/sci-mathematics/bedwyr/ChangeLog
new file mode 100644
index 0000000..dfb8722
--- /dev/null
+++ b/sci-mathematics/bedwyr/ChangeLog
@@ -0,0 +1,48 @@
+# ChangeLog for sci-mathematics/bedwyr
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+*bedwyr-1.4_alpha9 (15 Aug 2013)
+
+  15 Aug 2013; Quentin Heath <dawan@melix.net> -bedwyr-1.4_alpha1.ebuild,
+  +bedwyr-1.4_alpha9.ebuild:
+  - version bump
+  - fix man symlinks
+
+*bedwyr-1.4_alpha1 (13 Jul 2012)
+
+  13 Jul 2012; Quentin Heath <dawan@melix.net> -bedwyr-1.3_rc2.ebuild,
+  +bedwyr-1.4_alpha1.ebuild:
+  - version bump
+  - no more parallel build (because of ocamlbuild)
+  - sci-mathematics/ndcore and sci-mathematics/bedwyr merged
+  - better package layout but empty documentation
+
+*bedwyr-1.3_rc2 (29 Feb 2012)
+
+  29 Feb 2012; Quentin Heath <dawan@melix.net> +bedwyr-1.3_rc2.ebuild:
+  version bump
+
+*bedwyr-1.3_beta10 (24 Feb 2012)
+
+  24 Feb 2012; Quentin Heath <dawan@melix.net> -bedwyr-1.3_beta8-r2.ebuild,
+  +bedwyr-1.3_beta10.ebuild:
+  version bump
+
+*bedwyr-1.3_beta8-r2 (15 Feb 2012)
+
+  15 Feb 2012; Quentin Heath <dawan@melix.net> -bedwyr-1.3_beta6.ebuild,
+  -bedwyr-1.3_beta8.ebuild, +bedwyr-1.3_beta8-r2.ebuild,
+  +files/bedwyr-1.3-beta8-src-Makefile.in.patch:
+  - version bump
+  - parallel make allowed
+  - doc built during compilation
+  - patch for broken makefile dependencies
+
+*bedwyr-1.3_beta8 (14 Feb 2012)
+*bedwyr-1.3_beta6 (14 Feb 2012)
+
+  14 Feb 2012; Quentin Heath <dawan@melix.net> +bedwyr-1.3_beta6.ebuild,
+  +bedwyr-1.3_beta8.ebuild, +metadata.xml:
+  initial ebuild
+
diff --git a/sci-mathematics/bedwyr/Manifest b/sci-mathematics/bedwyr/Manifest
new file mode 100644
index 0000000..0b9b3db
--- /dev/null
+++ b/sci-mathematics/bedwyr/Manifest
@@ -0,0 +1,4 @@
+DIST bedwyr-1.4-alpha9.tbz 205169 SHA256 416603c231a3cfe0f7b79135425845ce6a7824c4d1a414d411c870f03139fb8e SHA512 ba8d14df1c05826ce97018546bf93fc2972d52a3cde17b2177d1f06351d214d38dac74a4235eb984beb8d69b591e393b2fc53f7816e009b01023448b523d38cd WHIRLPOOL 4463412874550e73bd7e086b361c71ac44f15766954cb5c3c7b3eaad881b28d268ac768cf91d628a80cb08d694e4e94f5626690a29462f847b9ad51e52ece8ec
+EBUILD bedwyr-1.4_alpha9.ebuild 1953 SHA256 859aa0b6fff6e4fa72f4bc38a577c62651003b3f615199d2f617eb62c9a0ee55 SHA512 4ce8418c19d01e2ef7c2acf1d16b2e9ef9b87dea3f403851a7c318e517f577d9198d58ba3d8a33448fcefc94e1cc1c7afc23222a57d214fbd65de1ccd5898c10 WHIRLPOOL ac8a327fe20778b04a2ca53c60cc183586e5817ae5fd55dc3d568317f23973b7afc869e0efeca6be1d125eca7a858d2f47841eb2c4df5a50041ff5151d584645
+MISC ChangeLog 1420 SHA256 4d4d29cc68ef961e74578fe160b764fc813f03c51018377764b4aa2751d575a5 SHA512 d9ce3156294a0ed6506fb0d5cc9d4373f112e8c01397c8ae045a404c4d2f6234cfa78a4c965e5bf7547be076040f44fcaea0b58682bbb31ad92c4e713229bfd1 WHIRLPOOL f842f21709a9c9268fbb3b1e6aa638a09122908e0fe1ce930d8c84ca70c7bd40f60727da6830c18c85c222e260bb1daab5892e713a0669c5902f93d06b9d3f86
+MISC metadata.xml 1386 SHA256 68531530ddae77f43095e13ddeede6a3eb3b1a0b95e7d112758a7dca9e2f4889 SHA512 8ff18ef060d150c744bfc563d84da266c8b6ee92f1d798ced9303d2b5830fa8cb08028776e40f2f3cbc912a9fdaa569fea194ad2f5e83f3e5e9b5f9fe4c2b33a WHIRLPOOL a65aa613ae738bd0611311444fa2b1df8cf1f19435f949fa335c9dd7bd581d7493c0d2b3aad56faf3824518b5b0cf17f70743b45f8eb925f3a577f94b24bdcc5
diff --git a/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild b/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild
new file mode 100644
index 0000000..93628db
--- /dev/null
+++ b/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild
@@ -0,0 +1,88 @@
+# Copyright 1999-2013 Quentin Heath
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=4
+
+inherit eutils autotools
+
+SLOT="1"
+MY_PV="${PV/_/-}"
+TARBALL_NAME="${PN}-${MY_PV}"
+
+DESCRIPTION="Bedwyr, the not-so-sound logician"
+HOMEPAGE="http://slimmer.gforge.inria.fr/bedwyr/"
+SRC_URI="https://gforge.inria.fr/frs/download.php/32337/${TARBALL_NAME}.tbz"
+
+LICENSE="GPL-2"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt vim-syntax +rlwrap ledit debug doc"
+
+DEPEND=">=dev-lang/ocaml-3.11.0[ocamlopt?]
+doc? ( app-text/texlive[extra] dev-tex/hevea dev-tex/mathpartir )
+>=sys-devel/autoconf-2.60
+!sci-mathematics/ndcore"
+RDEPEND="${DEPEND}
+rlwrap? ( app-misc/rlwrap )
+ledit? ( app-misc/ledit )
+vim-syntax? ( >=app-editors/vim-7 )"
+
+S="${WORKDIR}/${TARBALL_NAME}"
+
+
+#pkg_setup()
+
+#src_unpack()
+
+src_prepare() {
+	epatch "${FILESDIR}/${TARBALL_NAME}-handle-empty-wildcard-lists.patch"
+	eautoconf
+}
+
+src_configure() {
+	# TODO at some point, use the emacs, tac and spec flags
+	local myconf="--no-create"
+	econf $myconf \
+		$(use_enable ocamlopt nativecode) \
+		$(use_enable debug) \
+		$(use_enable doc) \
+		$(use_with vim-syntax vimfiles)
+}
+
+src_compile() {
+	emake -j1
+	use doc && emake -j1 doc
+}
+
+src_test() {
+	emake -j1 test
+}
+
+src_install() {
+	emake -j1 DESTDIR="${D}" install
+
+	# fix manpage renaming
+	rm "${D}/usr/share/man/man1/bedwyr.byte.1.gz"
+	ln -s "${D}/usr/share/man/man1/bedwyr.1.bz2" bedwyr.byte.1.bz2
+	rm "${D}/usr/share/man/man1/bedwyr.native.1.gz"
+	ln -s "${D}/usr/share/man/man1/bedwyr.1.bz2" bedwyr.native1.bz2
+}
+
+#pkg_preinst()
+
+pkg_postinst() {
+	einfo "Refer to quickstart.html and refman/index.html."
+	einfo "Any feedack is welcome."
+
+	use rlwrap && einfo \
+		"Add \"alias bedwyr='rlwrap -c -Cbedwyr -D2 -g'\\''^(n|y)$'\\'' -m \
+-pgreen -q'\\''\\\"'\\'' bedwyr'\" to ~/.alias."
+	use ledit && einfo \
+		"Add \"alias bedwyr='ledit -h ~/.bedwyr_history bedwyr'\" to ~/.alias."
+}
+
+#pkg_prerm()
+
+#pkg_postrm()
+
+#pkg_config()
diff --git a/sci-mathematics/bedwyr/metadata.xml b/sci-mathematics/bedwyr/metadata.xml
new file mode 100644
index 0000000..096ffd7
--- /dev/null
+++ b/sci-mathematics/bedwyr/metadata.xml
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<herd>no-herd</herd>
+	<maintainer>
+		<email>quentin.heath@inria.fr</email>
+		<name>Quentin Heath</name>
+		<description>Upstream developer</description>
+	</maintainer>
+	<longdescription>
+		Bedwyr is a generalization of logic programming
+		that allows model checking directly on syntactic expression
+		possibly containing bindings.
+		
+		This system, written in OCaml, is a direct implementation of
+		two recent advances in the theory of proof search:
+		a symmetric treatment of finite success and finite failure
+		(which allows capturing both aspects of may and must behavior
+		in operational semantics and mixing model checking and logic programming),
+		and direct support for lambda-tree syntax, as in lambdaProlog,
+		via term-level lambda-binders, higher-order pattern unification,
+		and the nabla-quantifier.
+	</longdescription>
+	<use>
+		<flag name="tac">Install <pkg>sci-mathematics/tac</pkg></flag>
+		<flag name="spec">Install Spec, a fork of Bedwyr</flag>
+		<flag name="rlwrap">Install support for <pkg>app-misc/rlwrap</pkg></flag>
+		<flag name="ledit">Install support for <pkg>app-misc/ledit</pkg></flag>
+	</use>
+	<upstream>http://slimmer.gforge.inria.fr/bedwyr/</upstream>
+	<bugs-to>https://gforge.inria.fr/tracker/?group_id=367</bugs-to>
+</pkgmetadata>