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