Ticket #13465: Portfile

File Portfile, 1.3 KB (added by x07simbj@…, 17 years ago)
Line 
1# $Id$
2PortSystem      1.0
3name                    rml
4version                 2.3.8
5categories              devel
6maintainers             x07simbj@ida.liu.se
7description             Relational Meta-Language
8long_description        Relational Meta-Language (RML) and Tools A System for Developing, Compiling and Debugging and Teaching Structural Operational Semantics (SOS) and Natural Semantics Specifications
9homepage                http://www.ida.liu.se/~pelab/rml/
10platforms               darwin
11master_sites            http://www.ida.liu.se/~pelab/rml/rml-ftp/src/:tagone
12distname                rml-mmc-2.3.8-src
13distfiles               rml-mmc-2.3.8-src.tar.bz2:tagone
14
15use_bzip2               yes
16
17checksums               md5 b4f399d7072ba1b6c21285102b859d37 \
18                        sha1 bed5c4811025a4ff222dd4a04fd19019823b042a \
19                        rmd160 ee7698a434b8f0214487c86048f905ff107c7701
20
21depends_lib             port:smlnj \
22                        port:flex \
23                        port:bison
24
25patchfiles              patch-configure\
26                        patch-socket_h\
27                        patch-compiler-Make-mk\
28                        patch-etc-Make-mk\
29                        patch-etc-install-sml\
30                        patch-etc-runtime-mk\
31                        patch-runtime-diff-Make-mk
32                       
33
34configure {
35system "./configure --smlnj-path=${prefix}/share/smlnj/bin/ --prefix=${prefix}/share/rml --destroot=${destroot}${prefix}/share/rml"
36}
37
38build.target            default
39build.target-append     install
40
41pre-destroot {
42set rml_home ${prefix}/share/rml
43xinstall -m 555 ${destroot}${rml_home}/bin/rml ${destroot}${prefix}/bin/rml
44xinstall -m 555 ${destroot}${rml_home}/bin/rmlc ${destroot}${prefix}/bin/rmlc
45}