a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian RaiblePortSystem 1.0
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raiblecategories math
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raiblemaintainers nomaintainer
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raibleplatforms darwin
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raibledescription The heterogeneous tool set (HETS) - Libraries
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raiblelong_description \
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible The central idea of the Heterogeneous Tool Set (HETS) \
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible is to provide a general framework for formal methods \
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible integration and proof management. \
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raiblesvn.url https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raibleuniversal_variant no
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible# Doesn't work. But this would be nice. So instead we just don't depend on
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible#depends_run port:Hets | port:Hets-devel
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible# Take me to your sources:
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raibleset worksrcdir trunk
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible# skip phase configure (there is no ./configure)
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raibleuse_configure no
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible# don't try compiling this..
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raibleset hets_path_name hets
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible xinstall -d ${destroot}${prefix}/lib/${hets_path_name}/hets-lib
a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6aSebastian Raible copy ${worksrcpath} ${destroot}${prefix}/lib/${hets_path_name}/hets-lib