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