Ticket #2417: Portfile

# $Id: $
PortSystem        1.0
name              polyml
version           4.1.3
categories        lang
maintainers       dem5302@cs.rit.edu
description       An implementation of Standard ML.
long_description  \
Poly/ML is an extremely fast and efficient implementation of \
Standard ML.  Program state can be saved in a memory-mapped \
persistent store.  There are numerous addon libraries available.

homepage          http://www.polyml.org
master_sites      http://www.polyml.org/source/ \
                  http://www.polyml.org/dbases/

distfiles         ${name}-driver-${version}.tar.gz \
                  ${name}-basis-${version}.tar.gz \
                  ${name}-mlsource-${version}.tar.gz \
                  ${name}-${version}.ppc.tar.gz

patchfiles        patch-configure.diff patch-BuildAll.diff

checksums         ${name}-driver-${version}.tar.gz md5 814cea1cfb376d4bb3977f78bad3d5eb \
                  ${name}-basis-${version}.tar.gz md5 aaaebb967ddafcbf9ff27ea815be5414 \
                  ${name}-mlsource-${version}.tar.gz md5 c316411eb44e61bc85762e5742761936 \
                  ${name}-${version}.ppc.tar.gz md5 7f9f0911ce15a146cc002ac55efc34c2       

# The compiler comes in four archives, so make a top level directory
# to extract them in.
pre-extract {
        exec mkdir ${workdir}/${name}-${version};
}

extract.post_args "| tar -x -C $name-$version"


# File layout is rather non-standard, so configuration will be manual.
configure {
    cd driver;
        system "./configure";
        cd ../mlsource/MLCompiler/CodeTree;
        system "ln -s CodeCons.power CodeCons";
        cd ../../..;
}

# We need to build the base driver, and then bootstrap the ML database 
# with the precompiled ML_dbase.
build {
    cd driver;
        system "make";
    cd ..;
    system "./driver/poly ML_dbase < mlsource/BuildAll.sml";
}

# The entire compiler is two files: the driver binary and the database.
destroot {
        system "mkdir -p ../destroot/opt/local/bin";
        system "mkdir -p ../destroot/opt/local/lib/poly";
        cd driver;
        system "make install";
        cd ..;
        system "cp DB413Release ../destroot/opt/local/lib/poly/ML_dbase";
}