# $Id$

PortSystem 1.0

name			isabelle-devel
version			2008-09-11
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 2008 release.

homepage		http://isabelle.in.tum.de/
master_sites		${homepage}/devel/
distname		Isabelle_11-Sep-2008
checksums		sha1 7620b15bff6a3910e149b3ae4c88c325e64e62d2
patchfiles		patch-etc-settings.diff

depends_lib		port:polyml

post-extract {
	file rename ${worksrcpath}/doc ${workpath}/doc
	system "cd ${worksrcpath} && mv ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README ${workpath}/doc"
}

configure {
	reinplace "s|@prefix@|${prefix}|g" ${worksrcpath}/etc/settings
}

build {
	system "cd ${worksrcpath} && ./build -a -b"
}

destroot {
	file copy ${worksrcpath} ${destroot}${prefix}/lib/${name}
	system "${destroot}${prefix}/lib/${name}/bin/isatool install -p ${destroot}${prefix}/bin -d ${prefix}/lib/${name}"
	xinstall -d ${destroot}${prefix}/share/doc/
	file copy ${workpath}/doc ${destroot}${prefix}/share/doc/${name}-${version}
}

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