| 1 | # $Id: $ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | name gprolog |
|---|
| 5 | version 1.2.16 |
|---|
| 6 | |
|---|
| 7 | categories lang |
|---|
| 8 | maintainers pmoura@mac.com |
|---|
| 9 | platforms darwin |
|---|
| 10 | description GNU Prolog compiler |
|---|
| 11 | |
|---|
| 12 | long_description \ |
|---|
| 13 | GNU Prolog is a free Prolog compiler with constraint \ |
|---|
| 14 | solving over finite domains developed by Daniel Diaz. \ |
|---|
| 15 | GNU Prolog accepts Prolog+constraint programs and \ |
|---|
| 16 | produces native binaries (like gcc does from a C \ |
|---|
| 17 | source). The obtained executable is then stand-alone. \ |
|---|
| 18 | The size of this executable can be quite small since \ |
|---|
| 19 | GNU Prolog can avoid linking the code of most unused \ |
|---|
| 20 | built-in predicates. The performance of GNU Prolog is \ |
|---|
| 21 | very encouraging (comparable to commercial systems). \ |
|---|
| 22 | Beside native-code compilation, GNU Prolog offers a \ |
|---|
| 23 | classical interactive interpreter (top-level) with a \ |
|---|
| 24 | debugger. |
|---|
| 25 | |
|---|
| 26 | homepage http://gprolog.inria.fr/ |
|---|
| 27 | master_sites ftp://ftp.inria.fr/INRIA/Projects/contraintes/${name}/ |
|---|
| 28 | |
|---|
| 29 | checksums md5 d7fe87106cd3e7e770375f04dd0d14c2 |
|---|
| 30 | |
|---|
| 31 | distname ${name}-${version} |
|---|
| 32 | worksrcdir ${name}-${version}/src |
|---|
| 33 | |
|---|
| 34 | configure.args --prefix=${destroot}/${prefix} \ |
|---|
| 35 | --with-install-dir=${destroot}/${prefix}/lib/${name}-${version} \ |
|---|
| 36 | --with-examples-dir=${destroot}/${prefix}/share/${name}-${version} \ |
|---|
| 37 | --with-doc-dir=${destroot}/${prefix}/share/${name}-${version} |
|---|
| 38 | |
|---|
| 39 | post-destroot { cd ${destroot}/${prefix}/bin |
|---|
| 40 | |
|---|
| 41 | file delete fd2c |
|---|
| 42 | file delete gplc |
|---|
| 43 | file delete gprolog |
|---|
| 44 | file delete hexgplc |
|---|
| 45 | file delete ma2asm |
|---|
| 46 | file delete pl2wam |
|---|
| 47 | file delete wam2ma |
|---|
| 48 | |
|---|
| 49 | system "ln -s ../lib/${name}-${version}/bin/fd2c fd2c" |
|---|
| 50 | system "ln -s ../lib/${name}-${version}/bin/gplc gplc" |
|---|
| 51 | system "ln -s ../lib/${name}-${version}/bin/gprolog gprolog" |
|---|
| 52 | system "ln -s ../lib/${name}-${version}/bin/hexgplc hexgplc" |
|---|
| 53 | system "ln -s ../lib/${name}-${version}/bin/ma2asm ma2asm" |
|---|
| 54 | system "ln -s ../lib/${name}-${version}/bin/pl2wam pl2wam" |
|---|
| 55 | system "ln -s ../lib/${name}-${version}/bin/wam2ma wam2ma" |
|---|
| 56 | } |
|---|
| 57 | |
|---|
