summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2022-07-18 19:39:09 +1000
committerMark Wright <gienah@gentoo.org>2022-07-18 19:39:09 +1000
commita249516c889500ee1a930e02744f051b500f2bdd (patch)
tree57a7ce15c617e7943acc4aa5e9b4f52aa57ce6b3 /dev-lang/teyjus
parentdev-ruby/maruku: enable ruby31 (diff)
downloadgentoo-a249516c889500ee1a930e02744f051b500f2bdd.tar.gz
gentoo-a249516c889500ee1a930e02744f051b500f2bdd.tar.bz2
gentoo-a249516c889500ee1a930e02744f051b500f2bdd.zip
dev-lang/tejyjs: Remove old
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-lang/teyjus')
-rw-r--r--dev-lang/teyjus/teyjus-2.1-r1.ebuild112
-rw-r--r--dev-lang/teyjus/teyjus-2.1.ebuild110
2 files changed, 0 insertions, 222 deletions
diff --git a/dev-lang/teyjus/teyjus-2.1-r1.ebuild b/dev-lang/teyjus/teyjus-2.1-r1.ebuild
deleted file mode 100644
index 7e48f5daab8f..000000000000
--- a/dev-lang/teyjus/teyjus-2.1-r1.ebuild
+++ /dev/null
@@ -1,112 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-inherit elisp-common
-
-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}
- app-text/dos2unix
- dev-util/omake"
-
-SITEFILE=50${PN}-gentoo.el
-
-PATCHES=( "${FILESDIR}/${P}-p001-Fixes-arity-for-pervasive-modulo-operation.patch"
- "${FILESDIR}/${P}-p002-Add-string-literals-from-proper-character-groups.patch"
- "${FILESDIR}/${P}-p003-Removing-deprecated-function-String.set.patch")
-
-src_prepare() {
- find . -type f -exec dos2unix {} \;
- 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() {
- export HOME="${T}"
- omake --verbose --force-dotomake 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
-}
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
-}