# $Id$

PortSystem 1.0

name			isabelle-devel
version			2007-11-19
categories		math lang ml
platforms		darwin
maintainers		mww
description		Isabelle is a popular generic theorem proving environment
long_description	Isabelle is a generic proof assistant. It allows mathematical \
			formulas to be expressed in a formal language and provides \
			tools for proving those formulas in a logical calculus. The \
			main application is the formalization of mathematical proofs \
			and in particular formal verification, which includes proving \
			the correctness of computer hardware or software and proving \
			properties of computer languages and protocols. \
			This version is a development snapshot of the upcoming 2007 release.

homepage		http://isabelle.in.tum.de/
master_sites		${homepage}/devel/
distname		Isabelle_19-Nov-2007
checksums		sha1 84b7d2d235441b05326cbae455bd3946692ee724

depends_lib		port:polyml

use_configure		no

build {
	system "cd ${worksrcpath} && ./build -a -b"
	file delete -force ${worksrcpath}/doc ${worksrcpath}/src
}

destroot {
	file copy ${worksrcpath} ${destroot}${prefix}/lib/isabelle2007
	system "cd ${destroot}${prefix}/bin && ln -sf ${prefix}/lib/isabelle2007/bin/isabelle isabelle-2007"
}

livecheck.check	regex
livecheck.url	${homepage}/devel/
livecheck.version	${distname}
livecheck.regex		(Isabelle_\[0-9\]+-\[a-zA-Z\]+-200\[7-9\]).tar.gz