|
|||||||||
Friday the 16th of May, 2008 |
|||||||||
gprolog most recent diff
Scroll down toward the bottom of the page to get installation instructions for gprolog. The raw portfile for gprolog 1.3.0 is located here: http://gprolog.darwinports.com/dports/lang/gprolog/Portfile Find related portfiles with the unique DarwinPorts.com search feature. Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/gprolog # $Id: Portfile 21581 2007-01-29 18:25:17Z gwright PortSystem 1.0 Name: gprolog Version: 1.3.0 Category: lang Maintainers: pmoura Platform: darwin Description: GNU Prolog compiler Long Description: GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid linking the code of most unused built-in predicates. The performance of GNU Prolog is very encouraging (comparable to commercial systems). Beside native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger. Homepage: http://gprolog.inria.fr/ master_sites http://www.gprolog.org/ checksums md5 950736db26248f6ed942191ec6c441e9 distname ${name}-${version} worksrcdir ${name}-${version}/src configure.args --prefix=${destroot}/${prefix} --with-install-dir=${prefix}/lib/${name}-${version} --with-examples-dir=${prefix}/share/${name}-${version} --with-doc-dir=${prefix}/share/${name}-${version} post-destroot { cd ${destroot}${prefix}/bin file delete fd2c file delete gplc file delete gprolog file delete hexgplc file delete ma2asm file delete pl2wam file delete wam2ma system "ln -s ../lib/${name}-${version}/bin/fd2c fd2c" system "ln -s ../lib/${name}-${version}/bin/gplc gplc" system "ln -s ../lib/${name}-${version}/bin/gprolog gprolog" system "ln -s ../lib/${name}-${version}/bin/hexgplc hexgplc" system "ln -s ../lib/${name}-${version}/bin/ma2asm ma2asm" system "ln -s ../lib/${name}-${version}/bin/pl2wam pl2wam" system "ln -s ../lib/${name}-${version}/bin/wam2ma wam2ma" file delete -force ${destroot}${prefix}/var } post-pkg { set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/ file copy -force -- ${workpath}/${name}-${version}/COPYING ${resources}/License.txt file copy -force -- ${workpath}/${name}-${version}/README ${resources}/ReadMe.txt } If you haven't already installed Darwin Ports, you can find easy instructions for doing so at the main Darwin Ports page. Once Darwin Ports has been installed, in a terminal window and while online, type the following and hit return:
% cd /opt/local/bin/portslocation/dports/gprologYou will then be prompted for your root password, which you should enter. You may have to wait for a few minutes while the software is retrieved from the network and installed for you. Y ou should see something that looks similar to: Make sure that you do not close the terminal window while Darwin Ports is working. Once the software has been installed, you can find further information about using gprolog with these commands: % man gprolog Where to find more information:
|
![]() |
![]() Digg gprolog on MacOSX
Other Helpful SitesMacOSForgeDebian Packages MacPorts - SVN Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories
aqua
archivers audio benchmarks cad comms cross databases devel editors emulators games genealogy gnome gnustep graphics irc java kde lang math multimedia net news palm perl python ruby science security shells sysutils textproc www x11 xfce zope
Current CVS DownloadsDarwin Ports Current :nightly CVS snapshot OpenDarwin CVSWeb SSH Key Gen |
|||||||
| |




