mercury-extras  most recent diff

View the most recent changes for the mercury-extras port at: mercury-extras.darwinports.com/diff
Scroll down toward the bottom of the page to get installation instructions for mercury-extras.
The raw portfile for mercury-extras 0.13.1 is located here:
http://mercury-extras.darwinports.com/dports/lang/mercury-extras/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-extras

Web Darwinports.com




# $Id: Portfile 30235 2007-10-22 23:13:37Z jmpp macports.org $

PortSystem 1.0
Name: mercury-extras
Version: 0.13.1
Category: lang
Maintainers: nomaintainer
Platform: darwin
Description: Extra packages for 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.cs.mu.oz.au/research/mercury/
master_sites http://www.cs.mu.oz.au/mercury/download/files/

distfiles ${name}-${version}${extract.suffix}

checksums ${name}-${version}${extract.suffix} md5 465ef230ae2d7a58dd184adc4c6464ec

depends_run port:mercury

patchfiles patch-lex-Mmakefile patch-references-Mmakefile

use_configure no

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

destroot { cd ${worksrcpath}
system "mmake INSTALL_PREFIX=${destroot}${prefix} install"
}

#
# Remove the redundant symbolic links (already installed by the
# mercury port). Put back the one non-redundant link too.
#
post-destroot {
system "find ${destroot}${prefix}/lib/mercury -type l | xargs rm -f"
file mkdir ${destroot}${prefix}/lib/mercury/ints/Mercury
system "cd ${destroot}${prefix}/lib/mercury/ints/Mercury && ln -s .. ints0"

set bad_dylibs [ exec find ${destroot}${prefix}/lib -name "\*.dylib" | xargs otool -D | grep ${destroot} ]
foreach bad_dylib ${bad_dylibs} {
regsub ":$" ${bad_dylib} "" bad_dylib_path
regsub ${destroot} ${bad_dylib_path} "" good_dylib_path
system "install_name_tool -id ${good_dylib_path} ${bad_dylib_path}"
}
}

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-extras
%  sudo port install mercury-extras  
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-extras
--->  Verifying checksum for mercury-extras
--->  Extracting mercury-extras
--->  Configuring mercury-extras
--->  Building mercury-extras with target all

--->  Staging mercury-extras into destroot

--->  Installing mercury-extras

- 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-extras with these commands:

%  man mercury-extras
%  apropos mercury-extras
%  which mercury-extras
%  locate mercury-extras

 Where to find more information: