Gprolog version 1.3.1 - How to Download and Install on Mac OS X
Saturday the 7th of November, 2009

    gprolog  most recent diff


    version 1.3.1

      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.1 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


      The gprolog Portfile 56109 2009-08-24 07:27:56Z ryandesign macports.org $

      PortSystem 1.0
      Name: gprolog
      Version: 1.3.1

      Category: lang
      Maintainers: mac.com: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 cbae19c31e17bcfca4b57fe35ec4aba2

      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 {
      foreach cmd {fd2c gplc gprolog hexgplc ma2asm pl2wam wam2ma} {
      system "ln -fs ../lib/${name}-${version}/bin/${cmd} ${destroot}${prefix}/bin/${cmd}"
      }

      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:

    Darwin Ports



    Lightbox this page.