isabelle-devel most recent diff

The isabelle-devel 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]

Category:		math lang ml

Platform:		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:		https://isabelle.in.tum.de/

Master Sites:		${homepage}/devel/

distname		Isabelle_${my_version}

Checksums:           md5     27972200c65514bd07044f473d8b5023                      sha1    e170691acb2e6ded3409459afe8f4fa64ad7b016                      rmd160  8dd39c2f40ba7804e5723ce848de04e4d65c7cd0

Patch Files:		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

%  cd /opt/local/bin/portslocation/dports/isabelle-devel
%  sudo port install isabelle-devel  
Password: 

--->  Fetching isabelle-devel
--->  Verifying checksum for isabelle-devel
--->  Extracting isabelle-devel
--->  Configuring isabelle-devel
--->  Building isabelle-devel with target all

--->  Staging isabelle-devel into destroot

--->  Installing isabelle-devel
%  man isabelle-devel
%  apropos isabelle-devel
%  which isabelle-devel
%  locate isabelle-devel

isabelle-devel most recent diff

version 2009-10-01

Other Helpful Sites

Port Categories

Current SVN Downloads