# $Id$

PortSystem 1.0

name Hets-devel

version 0.98

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. \

fetch.type svn

svn.url https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk

universal_variant no

conflicts Hets

depends_build bin:ghc:ghc

depends_lib port:hs-platform-fgl \

port:hs-platform-cabal

depends_run port:uDrawGraph

# Take me to your sources:

set worksrcdir trunk

# 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"

ui_msg "now building ${name}"

# DEACTIVATED make depend only works on tarballs created with 'make release'

# run make depend && make

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

}

# for compatibility with Hets-devel:

set hets_binary_name hets

set hets_path_name Hets

destroot {

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

copy ${worksrcpath}/${hets_binary_name} ${destroot}${prefix}/lib/${hets_path_name}/

copy ${worksrcpath}/utils/macports/hets_script ${destroot}${prefix}/bin/${hets_binary_name}

}