sci-mathematics/pvs/pvs-4.2.ebuild

pvs-4.2.ebuild (text/plain), 1022 bytes, created by Jonathan-Christofer Demay on 2009-02-04 23:36:42 UTC

# Copyright 1999-2009 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: Exp $

inherit eutils

DESCRIPTION="PVS is a verification system written in Common Lisp"
HOMEPAGE="http://pvs.csl.sri.com/"
SRC_URI="http://pvs.csl.sri.com/download-open/${P}-source.tgz"

LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~x86"
IUSE=""

DEPEND=">=dev-lisp/cmucl-19e
	|| ( app-editors/emacs app-editors/xemacs )"

src_unpack() {
        unpack ${A}
	epatch "${FILESDIR}/pvs-4.2-patch-makefile-quote"
}

src_compile() {
	econf || die "econf failed"
	CMULISP_HOME="/usr" emake || die "emake failed"
	bin/relocate && ./pvsio test
}

src_install() {
	rm bin/relocate
	mkdir tex
	mv pvs-tex.sub pvs.sty tex/
	mkdir -p "${D}"/usr/share/pvs
	mv bin doc emacs Examples lib tex wish "${D}"/usr/share/pvs/
	sed -i -e "s,^PVSPATH=.*$,PVSPATH=/usr/share/pvs," pvs
	sed -i -e "s,^PVSPATH=.*$,PVSPATH=/usr/share/pvs," pvsio
	cp pvs pvsio "${D}"/usr/share/pvs/
	dobin pvs pvsio
	dodoc INSTALL LICENSE NOTICES README	
}