summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/teyjus/teyjus-2.1.ebuild')
-rw-r--r--dev-lang/teyjus/teyjus-2.1.ebuild110
1 files changed, 0 insertions, 110 deletions
diff --git a/dev-lang/teyjus/teyjus-2.1.ebuild b/dev-lang/teyjus/teyjus-2.1.ebuild
deleted file mode 100644
index ba530e02034d..000000000000
--- a/dev-lang/teyjus/teyjus-2.1.ebuild
+++ /dev/null
@@ -1,110 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-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? ( >=app-editors/emacs-23.1:* )"
-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
-}