You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
90 lines
2.3 KiB
90 lines
2.3 KiB
12 years ago
|
# Copyright 1999-2012 Gentoo Foundation
|
||
|
# Distributed under the terms of the GNU General Public License v2
|
||
|
# $Header: /var/cvsroot/gentoo-x86/dev-lang/teyjus/teyjus-2.0.2.ebuild,v 1.1 2012/12/09 21:57:06 gienah Exp $
|
||
|
|
||
|
EAPI="5"
|
||
|
|
||
|
inherit base elisp-common multilib versionator
|
||
|
|
||
|
MY_PN="${PN}-source"
|
||
|
MY_P=$(version_format_string '${MY_PN}-$1.$2-b$3')
|
||
|
|
||
|
DESCRIPTION="Higher-order logic programming language Lambda Prolog"
|
||
|
HOMEPAGE="http://teyjus.cs.umn.edu/"
|
||
|
SRC_URI="http://teyjus.googlecode.com/files/${MY_P}.tar.gz"
|
||
|
|
||
|
SLOT="0"
|
||
|
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"
|
||
|
|
||
|
S=${WORKDIR}/${PN}
|
||
|
|
||
|
PATCHES=("${FILESDIR}/${PN}-2.0.2-flags.patch")
|
||
|
|
||
|
SITEFILE=50${PN}-gentoo.el
|
||
|
|
||
|
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 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
|
||
|
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
|
||
|
}
|