README revision 2295e38944bfcd91b9507e2fa9abe5a561817648
2295e38944bfcd91b9507e2fa9abe5a561817648Till MossakowskiThis README belongs to a Hets release (and does not apply to
2295e38944bfcd91b9507e2fa9abe5a561817648Till Mossakowskisources 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)
2295e38944bfcd91b9507e2fa9abe5a561817648Till MossakowskiThe heterogeneous tool set (Hets) is mainly maintained by
7b66a58641c3e6f6369c95d5bc16beaad20749a0Christian MaederChristian Maeder (maeder@tzi.de) and Till Mossakowski
7b66a58641c3e6f6369c95d5bc16beaad20749a0Christian Maeder(till@tzi.de). The mailing list is hets@tzi.de.