Swi-prolog version 5.8.0 - How to Download and Install on Mac OS X
Saturday the 20th of March, 2010

    swi-prolog  most recent diff


    version 5.8.0

      View the most recent changes for the swi-prolog port at: swi-prolog.darwinports.com/diff
      Scroll down toward the bottom of the page to get installation instructions for swi-prolog.
      The raw portfile for swi-prolog 5.8.0 is located here:
      http://swi-prolog.darwinports.com/dports/lang/swi-prolog/Portfile
      Find related portfiles with the unique DarwinPorts.com search feature.
      Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/swi-prolog


      # -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
      The swi-prolog Portfile 60682 2009-11-19 22:03:18Z snc macports.org $

      PortSystem 1.0

      Name: swi-prolog
      Version: 5.8.0
      epoch 20051223

      Category: lang
      Maintainers: uva.nl:J.Wielemaker logtalk.org:pmoura
      Platform: darwin
      Description: SWI-Prolog compiler plus extra packages (stable version)

      Long Description: ISO/Edinburgh-style Prolog compiler including modules, autoload, libraries, Garbage-collector, stack-expandor, C/C++-interface, Multiple threads, GNU-readline interface, coroutining, constraint programming, global variables, very fast compiler. Including packages clib (Unix process control, sockets, MIME), cpp (C++ interface), sgml (reading XML/SGML), sgml/RDF (reading RDF into triples), ODBC interface and XPCE (Graphics UI toolkit, integrated editor (Emacs-clone) and graphical debugger).

      Homepage: http://www.swi-prolog.org/
      Master Sites: http://www.swi-prolog.org/download/stable/src

      Checksums: md5 e3e81ac564f5ba6c088c7fd38dec6fc2 sha1 76f52f6b79226985d09e2f5a42014477971f17f4 rmd160 b9128bee3957d3c75ae41f9898b5ba250b021e29

      depends_build port:gawk port:junit

      depends_lib port:readline port:ncurses port:jpeg port:libmcrypt port:gmp port:zlib port:xorg-libs

      use_parallel_build no

      platform darwin 9 {
      depends_lib-append port:expat
      }

      distname pl-${version}

      configure.env LIBRARY_PATH=/usr/lib:${prefix}/lib CPATH=/usr/include:${prefix}/include JUNIT=${prefix}/share/java/junit.jar

      configure.ldflags

      configure.args --mandir=${prefix}/share/man --x-includes=${prefix}/include --x-libraries=${prefix}/lib --with-world

      build.env LIBRARY_PATH=/usr/lib:${prefix}/lib CPATH=/usr/include:${prefix}/include JUNIT=${prefix}/share/java/junit.jar CC=${configure.cc}

      post-build {
      file mkdir ${workpath}/macosx
      file copy -force -- ${workpath}/pl-${version}/man/macosx/License.html ${workpath}/macosx/
      file copy -force -- ${workpath}/pl-${version}/man/macosx/macosx.html ${workpath}/macosx/
      file copy -force -- ${workpath}/pl-${version}/man/macosx/Welcome.html ${workpath}/macosx/
      }

      post-pkg {
      set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/
      file copy -force -- ${workpath}/macosx/License.html ${resources}
      file copy -force -- ${workpath}/macosx/macosx.html ${resources}
      file copy -force -- ${workpath}/macosx/Welcome.html ${resources}
      file rename ${resources}/macosx.html ${resources}/ReadMe.html
      file delete -force -- ${resources}/Welcome.rtf
      }

      post-mpkg {
      set resources ${workpath}/${name}-${version}.mpkg/Contents/Resources/
      file copy -force -- ${workpath}/macosx/License.html ${resources}
      file copy -force -- ${workpath}/macosx/macosx.html ${resources}
      file copy -force -- ${workpath}/macosx/Welcome.html ${resources}
      file rename ${resources}/macosx.html ${resources}/ReadMe.html
      file delete -force -- ${resources}/Welcome.rtf
      }

      if {![variant_isset st]} {
      default_variants +mt
      }

      Variant: st conflicts mt description {Single-threaded} {
      configure.args-append --disable-mt
      }

      Variant: mt conflicts st description {Multi-threaded} {
      configure.args-append --enable-mt
      }

      livecheck.type regexm
      livecheck.url ${homepage}dl-stable.html
      livecheck.regex "Gzipped tar file holding the sources for version (\\d+\\.\\d+\\.\\d+)"

    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/swi-prolog
      % sudo port install swi-prolog
      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 swi-prolog
      ---> Verifying checksum for swi-prolog
      ---> Extracting swi-prolog
      ---> Configuring swi-prolog
      ---> Building swi-prolog with target all
      ---> Staging swi-prolog into destroot
      ---> Installing swi-prolog
    - 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 swi-prolog with these commands:
      %  man swi-prolog
      % apropos swi-prolog
      % which swi-prolog
      % locate swi-prolog

     Where to find more information:

    Darwin Ports



    Lightbox this page.