# $Id: Portfile 58721 2009-10-03 11:17:18Z mww@macports.org $

PortSystem 1.0

name			isabelle-devel
version			2009-10-01
set my_version		[clock format [clock scan ${version}] -format %d-%b-%Y]
categories		math lang ml
platforms		darwin
maintainers		mww
license                 BSD
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_${my_version}
checksums           md5     27972200c65514bd07044f473d8b5023 \
                    sha1    e170691acb2e6ded3409459afe8f4fa64ad7b016 \
                    rmd160  8dd39c2f40ba7804e5723ce848de04e4d65c7cd0
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 ${workpath}/${worksrcdir} && ./build -a -b"
}

destroot {
    file copy ${worksrcpath} ${destroot}${prefix}/lib/${name}
    system "${destroot}${prefix}/lib/${name}/bin/isabelle 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.type	regex
livecheck.url	${homepage}/devel/
livecheck.version	${my_version}
livecheck.regex		(\[0-9\]+-\[a-zA-Z\]+-200\[7-9\])\\.tar\\.gz

