Ticket #2430: Portfile.2

File Portfile.2, 2.2 KB (added by dem5302@…, 20 years ago)

The real Isabelle portfile

Line 
1# $Id: $
2PortSystem        1.0
3name              isabelle
4version           2004
5categories        lang
6maintainers       dem5302@cs.rit.edu
7description       Isabelle is a popular generic theorem proving environment.
8long_description  Isabelle is a generic proof assistant. It allows mathematical \
9                  formulas to be expressed in a formal language and provides \
10                  tools for proving those formulas in a logical calculus. The \
11                  main application is the formalization of mathematical proofs \
12                  and in particular formal verification, which includes proving \
13                  the correctness of computer hardware or software and proving \
14                  properties of computer languages and protocols.
15
16homepage          http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
17master_sites      http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
18
19distfiles         Isabelle${version}.tar.gz
20checksums         md5 8ea6985fde973453090abaa68aaa8446
21worksrcdir        Isabelle2004
22
23depends_build     bin:poly:polyml
24
25# The goal is to make polyml+isabelle "just work" out of the box. If
26# a user wishes to use other implementations of ML, then they will
27# have to edit the settings file directly.
28#
29# The settings file is limited to very few scenarios out of the box.
30# We modify the linux entry, since it is the closest thing that will
31# resemble our darwinports installation.
32post-configure {
33        reinplace "s|/.*/bin/poly|${prefix}/bin/poly|g" ${workpath}/${worksrcdir}/etc/settings
34        reinplace "s|/usr/lib/poly|${prefix}/lib/poly|g" ${workpath}/${worksrcdir}/etc/settings
35        reinplace "s|ML_PLATFORM=x86-linux|ML_PLATFORM=ppc-darwin|g" ${workpath}/${worksrcdir}/etc/settings
36        reinplace "s|ML_HOME=/usr/bin|ML_HOME=${prefix}/bin|g" ${workpath}/${worksrcdir}/etc/settings
37}
38
39build {
40    cd ${workpath}/${worksrcdir}
41        system "./build -a"
42}
43
44destroot {
45        file copy ${workpath}/${worksrcdir} ${destroot}${prefix}/Isabelle2004
46    system "${destroot}${prefix}/Isabelle2004/bin/isatool install -p ${destroot}${prefix}/bin"
47    reinplace "s|\"/.*/bin|\"${prefix}/Isabelle2004/bin|g" \
48              ${destroot}${prefix}/bin/isabelle-process \
49              ${destroot}${prefix}/bin/isabelle-interface \
50              ${destroot}${prefix}/bin/isatool
51}