README revision ceee56b395227c495432d0f3baa407730d7a09d2
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederThis README belongs a to HetCATS release (and does not apply to
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maedersources directly obtained via cvs.
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederThe aim of this release is a binary "hets" that is able to analyse
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederheterogeneous and in particular CASL specifications.
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederThe output of hets, if the input is successfully accepted, can be
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederdisplayed by "daVinci".
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederdaVinci is maintained by b-novative and b-novative holds all rights.
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederThis release may be accompanied with free binary releases of daVinci
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederVersion 2.1, but daVinci 2.1 is no longer supported or maintained!
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederHowever, you are encouraged to obtain the latest version of daVinci
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederPresenter (currently 3.0.5) from http://www.b-novative.com that is
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederfree for academic purposes.
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederLinux: the linux binary release of daVinci 2.1 relies on the old
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maedershlibs5 that must be installed on your system (if ./daVinci cannot be
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederfound/executed, then shlibs5 are missing)
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederSolaris: the solaris binary release of daVinci 2.1 should work without
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederMacintosh (Darwin): there is no release of daVinci for Macintosh, but
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederb-novative may have one in the mean time
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederFor best quality, get the latest version of daVinci from b-novative.
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederFor hets to find daVinci, the environment variables DAVINCIHOME and
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederUNIDAVINCI must be set to the installation directory of daVinci and to
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederthe actual executable, respectively.
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederexport DAVINCIHOME=<path>/daVinci_V2.1
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederexport UNIDAVINCI=<path>/daVinci_V2.1/daVinci
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederA typical call of hets is then: <path>/hets -g Basic/Numbers.casl
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederIf you need to rebuild the hets binary follow the instructions in INSTALL
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maeder(This README belongs a to release created by "make release", in case
ceee56b395227c495432d0f3baa407730d7a09d2Christian Maederthat you obtained the HetCATS sources as CVS tree)
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederThe heterogeneous CASL tool set "HetCATS" is mainly maintained by Klaus
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederL�ttich (luettich@tzi.de), Christian Maeder (maeder@tzi.de), and Till
ceee56b395227c495432d0f3baa407730d7a09d2Christian MaederMossakowski (till@tzi.de). The mailing list is hets@tzi.de.