Ticket #2430: Portfile

File Portfile, 1.7 KB (added by dem5302@…, 20 years ago)

Isabelle 2004 portfile

Line 
1# $Id: Portfile,v 1.1 2004/11/23 22:30:59 mww Exp $
2
3PortSystem 1.0
4
5name                    polyml
6version                 4.1.3
7categories              lang
8maintainers             dem5302@cs.rit.edu
9description             An implementation of Standard ML.
10long_description  Poly/ML is an extremely fast and efficient implementation of \
11                                Standard ML. Program state can be saved in a memory-mapped \
12                                persistent store. There are numerous addon libraries available.
13
14homepage                http://www.polyml.org/
15master_sites    ${homepage}/source/:src \
16                                ${homepage}/dbases/:db \
17
18distfiles               ${name}-driver-${version}.tar.gz:src \
19                                ${name}-basis-${version}.tar.gz:src \
20                                ${name}-mlsource-${version}.tar.gz:src \
21                                ${name}-${version}.ppc.tar.gz:db
22
23checksums               ${name}-driver-${version}.tar.gz \
24                                        md5 814cea1cfb376d4bb3977f78bad3d5eb \
25                                ${name}-basis-${version}.tar.gz \
26                                        md5 aaaebb967ddafcbf9ff27ea815be5414 \
27                                ${name}-mlsource-${version}.tar.gz \
28                                        md5 c316411eb44e61bc85762e5742761936 \
29                                ${name}-${version}.ppc.tar.gz \
30                                        md5 7f9f0911ce15a146cc002ac55efc34c2       
31
32patchfiles              patch-BuildAll
33
34worksrcdir              driver
35
36post-patch      {
37        reinplace "s|/usr/bin|${destroot}${prefix}/bin|g" ${worksrcpath}/configure
38        reinplace "s|/usr/lib/poly:/usr/local|${prefix}|g" ${worksrcpath}/configure
39}
40
41post-configure {
42        cd ${workpath}/mlsource/MLCompiler/CodeTree
43        file link CodeCons CodeCons.power
44}
45
46# We need to build the base driver, and then bootstrap the ML database
47# with the precompiled ML_dbase.
48post-build {
49    system "cd ${workpath} && ./driver/poly ML_dbase < mlsource/BuildAll.sml"
50}
51
52post-destroot {
53        xinstall -m 755 -d ${destroot}${prefix}/lib/poly
54        xinstall -m 644 ${workpath}/DB413Release \
55                ${destroot}${prefix}/lib/poly/ML_dbase
56}