gprolog  most recent diff

View the most recent changes for the gprolog port at: gprolog.darwinports.com/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

Web Darwinports.com




# $Id: Portfile 21581 2007-01-29 18:25:17Z gwright macports.org $

PortSystem 1.0
Name: gprolog
Version: 1.3.0

Category: lang
Maintainers: pmoura mac.com
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/gprolog
%  sudo port install gprolog  
Password: 

You 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:

--->  Fetching gprolog
--->  Verifying checksum for gprolog
--->  Extracting gprolog
--->  Configuring gprolog
--->  Building gprolog with target all

--->  Staging gprolog into destroot

--->  Installing gprolog

- 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
%  apropos gprolog
%  which gprolog
%  locate gprolog

 Where to find more information: