Mercury version 0.13.1 - How to Download and Install on Mac OS X
Monday the 23rd of November, 2009

    mercury  most recent diff


    version 0.13.1

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


      The mercury Portfile 40561 2008-10-06 21:16:22Z jmr macports.org $

      PortSystem 1.0

      Name: mercury
      Version: 0.13.1
      Category: lang
      Maintainers: nomaintainer
      Platform: darwin
      Description: The Mercury Programming Language
      Long Description: Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.

      Homepage: http://www.${name}.cs.mu.oz.au/
      Master Sites: ${homepage}download/files/

      distname ${name}-compiler-${version}

      Checksums: md5 f75f2241a974792d30c18c4325c763d0

      worksrcdir ${name}-${version}
      post-extract { file rename ${workpath}/${name}-compiler-${version} ${workpath}/${name}-${version}
      }

      post-patch { reinplace s|\$(INSTALL_ELISP_DIR)|${prefix}/lib/${name}/elisp| ${worksrcpath}/Mmakefile
      }

      depends_lib port:readline
      depends_build port:gcc34

      configure.cc gcc-dp-3.4

      configure.args --mandir=${prefix}/share/man --infodir=${prefix}/share/info

      # Note that most of the building actually takes place in the
      # destroot phase. This is a consequence of the mercury build
      # scheme.

      build {
      system "cd ${worksrcpath} && make INSTALL_PREFIX=${destroot}${prefix}"
      }

      destroot {
      system "cd ${worksrcpath} && make INSTALL_PREFIX=${destroot}${prefix} MERCURY_COMPILER=${worksrcpath}/compiler/mercury_compile install"
      }

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

     Where to find more information:

    Darwin Ports



    Lightbox this page.