5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public# $Id$

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi PublicPortSystem 1.0

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicname hets-lib

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicversion 0.98

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publiccategories math

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicmaintainers nomaintainer

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicplatforms darwin

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicdescription The heterogeneous tool set (HETS) - Libraries

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publiclong_description \

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

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public is to provide a general framework for formal methods \

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public integration and proof management. \

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicfetch.type svn

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicsvn.url https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicuniversal_variant no

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public# Doesn't work. But this would be nice. So instead we just don't depend on

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public# anything.

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public#depends_run port:Hets | port:Hets-devel

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public# Take me to your sources:

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicset worksrcdir trunk

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public# skip phase configure (there is no ./configure)

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicuse_configure no

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public# don't try compiling this..

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicbuild {}

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Public

5590cf6531d11642cf9d6d50c293bb336f68a7d1Slagvi Publicset hets_path_name hets

destroot {

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

copy ${worksrcpath} ${destroot}${prefix}/lib/${hets_path_name}/hets-lib

}