1 files changed, 111 insertions, 0 deletions
diff --git a/dev-lang/teyjus/teyjus-2.1.ebuild b/dev-lang/teyjus/teyjus-2.1.ebuild
new file mode 100644
index 000000000000..3a068638898d
--- /dev/null
+++ b/dev-lang/teyjus/teyjus-2.1.ebuild
@@ -0,0 +1,111 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="6"
+
+inherit elisp-common multilib versionator
+
+DESCRIPTION="Higher-order logic programming language Lambda Prolog"
+HOMEPAGE="http://teyjus.cs.umn.edu/"
+SRC_URI="https://github.com/teyjus/teyjus/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+LICENSE="GPL-3"
+IUSE="emacs examples +ocamlopt"
+
+RDEPEND=">=sys-devel/binutils-2.17:*
+	>=sys-devel/gcc-2.95.3:*
+	>=dev-lang/ocaml-3.10[ocamlopt?]
+	emacs? ( virtual/emacs )"
+DEPEND="${RDEPEND}
+	dev-util/omake"
+
+SITEFILE=50${PN}-gentoo.el
+
+src_prepare() {
+	default
+	local cflags=""
+	for i in ${CFLAGS}
+	do
+		cflags="${cflags} -ccopt ${i}"
+	done
+	local lflags=""
+	for i in ${LDFLAGS}
+	do
+		lflags="${lflags} -cclib ${i}"
+	done
+	sed	-e "s@\(OCAMLFLAGS= -w -A\)@\1 ${cflags}${lflags}@" \
+		-e "s@\(CFLAGS +=\) -g@\1 ${CFLAGS}\nLDFLAGS += ${LDFLAGS}@" \
+		-i "${S}/source/OMakefile" \
+		|| die "Could not set flags in ${S}/teyjus/source/OMakefile"
+	if has_version ">=dev-lang/ocaml-4.03.0"; then
+		# bug 591368
+		pushd "${S}/source" || die
+		sed -e 's@$(FNT)/ccode_stubs@$(FNT)/ccode_stubs_c@' \
+			-e 's@\(FNT_ML_TO_C\[\] =\)@\1\n    $(FNT)/ccode_stubs@' \
+			-i OMakefile || die
+		cd "${S}/source/front" || die
+		mv ccode_stubs.mli ccode_stubs.ml || die
+		mv ccode_stubs.c ccode_stubs_c.c || die
+		popd || die
+	fi
+}
+
+src_compile() {
+	addpredict "/usr/$(get_libdir)/omake/Pervasives.omc"
+	addpredict "/usr/$(get_libdir)/omake/build/C.omc"
+	addpredict "/usr/$(get_libdir)/omake/build/Common.omc"
+	addpredict "/usr/$(get_libdir)/omake/configure/Configure.omc"
+	addpredict "/usr/$(get_libdir)/omake/build/OCaml.omc"
+	omake --verbose all || die "omake all failed"
+	if use emacs ; then
+		pushd "${S}/emacs" || die "Could change directory to emacs"
+		elisp-compile *.el || die "emacs elisp compile failed"
+		popd
+	fi
+}
+
+ins_example_dir() {
+	dodir "/usr/share/${PN}/examples/${1}"
+	insinto "/usr/share/${PN}/examples/${1}"
+	cd "${S}/examples/${1}"
+	doins *
+}
+
+src_install() {
+	newbin source/tjcc.opt tjcc
+	newbin source/tjdepend.opt tjdepend
+	newbin source/tjdis.opt tjdis
+	newbin source/tjlink.opt tjlink
+	newbin source/tjsim.opt tjsim
+	dodoc README.md QUICKSTART
+	if use emacs ; then
+		elisp-install ${PN} emacs/*.{el,elc}
+		cp "${FILESDIR}"/${SITEFILE} "${S}"
+		sed -e 's@/usr/bin/tjcc@'${EPREFIX}/usr/bin/tjcc'@' -i ${SITEFILE} \
+			|| die "Could not set tjcc executable path in emacs site file"
+		elisp-site-file-install ${SITEFILE}
+	fi
+	if use examples; then
+		ins_example_dir "handbook/logic"
+		ins_example_dir "handbook/progs"
+		ins_example_dir "misc"
+		ins_example_dir "ndprover"
+		ins_example_dir "pcf"
+	fi
+}
+
+pkg_postinst() {
+	if use emacs; then
+		elisp-site-regen
+		ewarn "For teyjus emacs, add this line to ~/.emacs"
+		ewarn ""
+		ewarn "(require 'teyjus)"
+	fi
+}
+
+pkg_postrm() {
+	use emacs && elisp-site-regen
+}