Revision: 31720 http://trac.macosforge.org/projects/macports/changeset/31720 Author: mww@macports.org Date: 2007-12-04 10:51:43 -0800 (Tue, 04 Dec 2007) Log Message: ----------- * version 2007 * take maintainership * dem5302@cs.rit.edu (former maintainer) is not in trac nor reachable via mail Modified Paths: -------------- trunk/dports/math/isabelle/Portfile Modified: trunk/dports/math/isabelle/Portfile =================================================================== --- trunk/dports/math/isabelle/Portfile 2007-12-04 16:29:22 UTC (rev 31719) +++ trunk/dports/math/isabelle/Portfile 2007-12-04 18:51:43 UTC (rev 31720) @@ -2,10 +2,9 @@ PortSystem 1.0 name isabelle -version 2004 -revision 2 -categories lang ml -maintainers dem5302@cs.rit.edu +version 2007 +categories math lang ml +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 \ @@ -16,40 +15,37 @@ properties of computer languages and protocols. homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ -master_sites http://www.cl.cam.ac.uk/~lp15/archive/ +master_sites http://isabelle.in.tum.de/dist/ \ + http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/ \ + http://mirror.cse.unsw.edu.au/pub/isabelle/dist/ -distfiles Isabelle${version}${extract.suffix} -checksums md5 8ea6985fde973453090abaa68aaa8446 -worksrcdir Isabelle2004 +distname Isabelle${version} +checksums md5 088e56b79a4c8cd3e4de7dad62a35827 \ + sha1 dd1312a1af296cb02754069691801a23e03c7e15 -depends_lib bin:poly:polyml \ - lib:poly/ML_dbase:polyml +depends_lib port:polyml -# The goal is to make polyml+isabelle "just work" out of the box. If -# a user wishes to use other implementations of ML, then they will -# have to edit the settings file directly. -# -# The settings file is limited to very few scenarios out of the box. -# We modify the linux entry, since it is the closest thing that will -# resemble our MacPorts installation. - -post-configure { - reinplace "s|/.*/bin/poly|${prefix}/bin/poly|g" ${workpath}/${worksrcdir}/etc/settings - reinplace "s|/usr/lib/poly|${prefix}/lib/poly|g" ${workpath}/${worksrcdir}/etc/settings - reinplace "s|ML_PLATFORM=x86-linux|ML_PLATFORM=ppc-darwin|g" ${workpath}/${worksrcdir}/etc/settings - reinplace "s|ML_HOME=/usr/bin|ML_HOME=${prefix}/bin|g" ${workpath}/${worksrcdir}/etc/settings +post-extract { + file rename ${worksrcpath}/doc ${workpath}/doc + system "cd ${worksrcpath} && mv ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README ${workpath}/doc" } +use_configure no + build { - cd ${workpath}/${worksrcdir} - system "./build -a" + system "cd ${workpath}/${worksrcdir} && ./build -a -b" } destroot { - file copy ${workpath}/${worksrcdir} ${destroot}${prefix}/lib/Isabelle2004 - system "${destroot}${prefix}/lib/Isabelle2004/bin/isatool install -p ${destroot}${prefix}/bin" - reinplace "s|\"/.*/bin|\"${prefix}/lib/Isabelle2004/bin|g" \ - ${destroot}${prefix}/bin/isabelle-process \ - ${destroot}${prefix}/bin/isabelle-interface \ - ${destroot}${prefix}/bin/isatool + file copy ${worksrcpath} ${destroot}${prefix}/lib/${name} + foreach f {isabelle isabelle-interface isabelle-process isatool} { + ln -sf ${prefix}/lib/isabelle/bin/${f} ${destroot}${prefix}/bin + } + xinstall -d ${destroot}${prefix}/share/doc/ + file copy ${workpath}/doc ${destroot}${prefix}/share/doc/${name}-${version} } + +livecheck.check regex +livecheck.url http://www.cl.cam.ac.uk/research/hvg/Isabelle/download.html +livecheck.regex Isabelle(\[0-9\]+).tar.gz +