| 1 | # $Id$ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | name swi-prolog |
|---|
| 5 | version 5.6.47 |
|---|
| 6 | epoch 20051223 |
|---|
| 7 | |
|---|
| 8 | categories lang |
|---|
| 9 | maintainers wielemak@science.uva.nl pmoura@logtalk.org |
|---|
| 10 | platforms darwin |
|---|
| 11 | description SWI-Prolog compiler plus extra packages (stable version) |
|---|
| 12 | |
|---|
| 13 | long_description \ |
|---|
| 14 | ISO/Edinburgh-style Prolog compiler including modules, \ |
|---|
| 15 | autoload, libraries, Garbage-collector, stack-expandor, \ |
|---|
| 16 | C/C++-interface, Multiple threads, GNU-readline interface, \ |
|---|
| 17 | coroutining, constraint programming, global variables, \ |
|---|
| 18 | very fast compiler. Including packages clib (Unix process \ |
|---|
| 19 | control, sockets, MIME), cpp (C++ interface), sgml (reading \ |
|---|
| 20 | XML/SGML), sgml/RDF (reading RDF into triples), ODBC \ |
|---|
| 21 | interface and XPCE (Graphics UI toolkit, integrated editor \ |
|---|
| 22 | (Emacs-clone) and graphical debugger). |
|---|
| 23 | |
|---|
| 24 | homepage http://www.swi-prolog.org/ |
|---|
| 25 | master_sites http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/ |
|---|
| 26 | |
|---|
| 27 | checksums md5 4651f59c31225e87aa977274516cf818 |
|---|
| 28 | |
|---|
| 29 | depends_build port:gawk |
|---|
| 30 | |
|---|
| 31 | depends_lib \ |
|---|
| 32 | lib:libreadline:readline \ |
|---|
| 33 | lib:libncursesw:ncurses \ |
|---|
| 34 | lib:libjpeg:jpeg \ |
|---|
| 35 | lib:libmcrypt:libmcrypt \ |
|---|
| 36 | lib:libX11.6:XFree86 \ |
|---|
| 37 | lib:libgmp:gmp \ |
|---|
| 38 | lib:libzlib:zlib |
|---|
| 39 | |
|---|
| 40 | platform darwin 6 { |
|---|
| 41 | depends_lib-append lib:libdl:dlcompat |
|---|
| 42 | } |
|---|
| 43 | |
|---|
| 44 | distname pl-${version} |
|---|
| 45 | |
|---|
| 46 | configure.env \ |
|---|
| 47 | LIBRARY_PATH=/usr/lib:/usr/X11R6/lib:/opt/local/lib \ |
|---|
| 48 | CPATH=/usr/include:/usr/X11R6/include:/opt/local/include \ |
|---|
| 49 | JUNIT=/opt/local/share/java/junit.jar |
|---|
| 50 | |
|---|
| 51 | configure.ldflags |
|---|
| 52 | |
|---|
| 53 | configure.args \ |
|---|
| 54 | --prefix=${prefix} \ |
|---|
| 55 | --mandir=${prefix}/share/man \ |
|---|
| 56 | --with-world |
|---|
| 57 | |
|---|
| 58 | build.env \ |
|---|
| 59 | LIBRARY_PATH=/usr/lib:/usr/X11R6/lib:/opt/local/lib \ |
|---|
| 60 | CPATH=/usr/include:/usr/X11R6/include:/opt/local/include \ |
|---|
| 61 | JUNIT=/opt/local/share/java/junit.jar |
|---|
| 62 | |
|---|
| 63 | post-pkg { |
|---|
| 64 | set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/ |
|---|
| 65 | file copy -force -- ${workpath}/pl-${version}/man/macosx/License.html ${resources}/License.html |
|---|
| 66 | file copy -force -- ${workpath}/pl-${version}/man/macosx/macosx.html ${resources}/ReadMe.html |
|---|
| 67 | file copy -force -- ${workpath}/pl-${version}/man/macosx/Welcome.html ${resources}/Welcome.html |
|---|
| 68 | file delete -force -- ${resources}/Welcome.rtf |
|---|
| 69 | } |
|---|
| 70 | |
|---|
| 71 | post-mpkg { |
|---|
| 72 | set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/ |
|---|
| 73 | file copy -force -- ${workpath}/pl-${version}/man/macosx/License.html ${resources}/License.html |
|---|
| 74 | file copy -force -- ${workpath}/pl-${version}/man/macosx/macosx.html ${resources}/ReadMe.html |
|---|
| 75 | file copy -force -- ${workpath}/pl-${version}/man/macosx/Welcome.html ${resources}/Welcome.html |
|---|
| 76 | file delete -force -- ${resources}/Welcome.rtf |
|---|
| 77 | } |
|---|
| 78 | |
|---|
| 79 | default_variants +mt |
|---|
| 80 | |
|---|
| 81 | variant st { |
|---|
| 82 | configure.args-append --disable-mt |
|---|
| 83 | } |
|---|
| 84 | |
|---|
| 85 | variant mt { |
|---|
| 86 | configure.args-append --enable-mt |
|---|
| 87 | } |
|---|
