# $Id$

PortSystem 1.0

name Hets

version 0.97

categories math

maintainers nomaintainer

platforms darwin

description The heterogeneous tool set (HETS)

long_description \

The central idea of the Heterogeneous Tool Set (HETS) \

is to provide a general framework for formal methods \

integration and proof management. \

homepage http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/

master_sites ${homepage}/src-distribution/versions/

distname ${name}-src-${version}

extract.suffix .tgz

checksums md5 090c891ecf9ce80ed89c55921ad7f48a

universal_variant no

depends_build bin:ghc:ghc

depends_lib port:hs-platform-fgl \

port:hs-platform-cabal

depends_run port:uDrawGraph

# hets release package comes as a tar containing a "Hets" directory.

# Take me to your sources:

set worksrcdir Hets

# skip phase configure (there is no ./configure)

use_configure no

pre-build {

# we probably shouldn't do this but there's no port for Haskell's xml

ui_msg "Calling cabal"

ui_msg " update"

system "exec ${prefix}/bin/cabal update"

ui_msg " install xml"

system "exec ${prefix}/bin/cabal --global --prefix=${prefix} install xml"

ui_msg "cabal finished"

# run make depend && make

ui_msg "now building ${name}"

set build.cmd "${build.cmd} depend && ${build.cmd}"

}

destroot {

xinstall -d ${destroot}${prefix}/lib/${name}

copy ${worksrcpath}/${name} ${destroot}${prefix}/lib/${name}/

}