[gentoo-commits] gentoo-x86 commit in dev-lang/teyjus: metadata.xml teyjus-2.0.2.ebuild Manifest ChangeLog

[gentoo-commits] gentoo-x86 commit in dev-lang/teyjus: metadata.xml teyjus-2.0.2.ebuild Manifest ChangeLog

[Mark Wright (gienah)]

gienah      12/12/09 21:57:06

  Added:                metadata.xml teyjus-2.0.2.ebuild Manifest ChangeLog
  Log:
  Add teyjus, fixes Bug 39631 - teyjus-1.0_beta33
  
  (Portage version: 2.1.11.34/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

Revision  Changes    Path
1.1                  dev-lang/teyjus/metadata.xml

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/teyjus/metadata.xml?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/teyjus/metadata.xml?rev=1.1&content-type=text/plain

Index: metadata.xml
===================================================================
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer>
  <email>gienah@gentoo.org></email>
</maintainer>
<longdescription lang='en'>
The Teyjus system is an efficient implementation of the higher-order
logic programming language Lambda Prolog. The main strength of Lambda
Prolog, a language developed by Dale Miller and Gopalan Nadathur, is
the support it offers for what is known as lambda tree syntax, a new
and effective way to view the structure of complex syntactic objects
such as types, formulas, proofs and programs. Lambda Prolog provides
this support by using lambda terms as data representation devices and
by including primitives for probing such terms in logically meaningful
ways. The new features present in the language raise several
implementation challenges that have been addressed in collaborative
work between Nadathur and his students and colleagues. The name
"Teyjus" actually stands both for a project and for a class of
compiler and virtual machine based realizations of Lambda Prolog
arising from the research carried out within this project. Underlying
the most recent version of the Teyjus system is a new and
significantly improved virtual machine that has been designed by
Xiaochu Qi as part of her doctoral dissertation work at the University
of Minnesota. This virtual machine extensively exploits a special form
of higher-order unification known as pattern unification.
</longdescription>
</pkgmetadata>



1.1                  dev-lang/teyjus/teyjus-2.0.2.ebuild

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/teyjus/teyjus-2.0.2.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/teyjus/teyjus-2.0.2.ebuild?rev=1.1&content-type=text/plain

Index: teyjus-2.0.2.ebuild
===================================================================
# 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
}



1.1                  dev-lang/teyjus/Manifest

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/teyjus/Manifest?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/teyjus/Manifest?rev=1.1&content-type=text/plain

Index: Manifest
===================================================================
AUX 50teyjus-gentoo.el 74 SHA256 d2a70d0637f5ddfd4dbd2ab84ee513b4b90bd92f2f2e58e5e67394588cf0cd8d SHA512 febf91bf3393d91cf1ecdd38b1b9f2e62f7bf8ca8de79e6a006238a82b909d46d7e0e4c92bf8ead39b5142710f548a8829b4e9473340225ecad9fa46b0972f35 WHIRLPOOL d873b1e80ec2ec4b8dede40e782aac4696dc8d3c873f72683d6121160c2cfde8bbac6fc1516bacc3c7e1ad71f32ca2f253634b7c0af6ab8655ec4b4aac47c701
AUX teyjus-2.0.2-flags.patch 359 SHA256 ab3d7e114770ca4016cddb41c4d92f00b00ed24f2aa31982b10c86554b4d804f SHA512 23ccbc73292dedf0c4f244c41ccfa866ca79ed216b1bb0a390e6e922aadfe3d7e66d67508244a418dced751927e7795b28d22a627f340fa2570265d610c4b96e WHIRLPOOL a1612cb3405a4769f597239d90f61750ca2428196428600a85199668e79f852ef0338707afa1062eb6e73aa4cdb05bf4e4cbe48f038b13cee2399d21e1de5f61
DIST teyjus-source-2.0-b2.tar.gz 465815 SHA256 f589fb460d7095a6e674b7a6413772c41b98654c38602c3e8c477a976da99052 SHA512 071a25cd5341f7562f07dcaae1f87c35eb394ddab94a5160826c7fb2d9a51efea909b41947205503ebcc58df04388baf9eaf9f5a614186701940da29db1c1b29 WHIRLPOOL 0dfd8128d194ef5d6cf4fdf6d75c4c654ab834af6c090f595b2defd91645cc0fca4ae4a8483c7a77b4a7e8dae5b3c31069bf85d240538db2f88df69d6f7f42d0
EBUILD teyjus-2.0.2.ebuild 2228 SHA256 3fc8511fe5198dea57ade1542df70ec48218c60d7142d8a16f1b90f66ecfe297 SHA512 db833ac0176b305f7d005b0b1c22a3570788f56de5f53d719047b95c323cbe4ec1bf7bf369670bbbf1c74b1efab4fae6b30e7b84909c5cee4fb01f5b69cdd937 WHIRLPOOL 95484c596b5b3fd76c12fdd884bc2848f49e6653f767ae65e96532fa2080da5516c760cc3e49ee63d22cbb020d48158c4c18dca25d10b76b832caa72826f8500
MISC metadata.xml 1519 SHA256 7a568480b7d1669f7668c8969223107bcfb9809cf5ca59d0e73bee1dc0aabbd9 SHA512 0a48fa3345da0004874ef4759063b39ee11c5ece321ebf3354c2eb993d3a5bc647897d30e372593ecbda6cc384435cd5bd820335f8e4381a152e6b4873f4b44c WHIRLPOOL 4edddbca167b65415d9e1c5467cf4897464099072e68865e13c2ad509a952a2f44c71b611b0fdb9a99805dd3ccdd33832443105667657c406f028dba6c283876



1.1                  dev-lang/teyjus/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/teyjus/ChangeLog?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/teyjus/ChangeLog?rev=1.1&content-type=text/plain

Index: ChangeLog
===================================================================
# ChangeLog for dev-lang/teyjus
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/teyjus/ChangeLog,v 1.1 2012/12/09 21:57:06 gienah Exp $

*teyjus-2.0.2 (09 Dec 2012)

  09 Dec 2012; Mark Wright <gienah@gentoo.org> +files/50teyjus-gentoo.el,
  +files/teyjus-2.0.2-flags.patch, +metadata.xml, +teyjus-2.0.2.ebuild:
  Add teyjus, fixes Bug 39631 - teyjus-1.0_beta33