PAVOT

(Polymorphic Application for Viewer Of Traces)




Download

Before downloading read the warning.

Last versions of pavot:

pavot-1.3.tar.gz (version 1.3, sources à compiler sous LInux)

executable java ( executable sous Linux ou Windows avec java 1.4.2)

Installation

Linux: en dézipant et détarant 'pavot-X.tar.gz', le répertoire pavot-X/ est créé avec tous les fichiers nécessaires. Entrer dans ce répertoire. Modifiez le fichier Makefile.rules si nécessaire en précisant: (si vous n'avez pas de variable d'environnement JAVAHOME dans votre path) les variables: JAVAHOME qui doit contenir le path des binaires java et javac, et PAVOTINSTALL pour le répertoire d'installation de Pavot.
A présent faites 'make install', tous les sources sont alors compilés dans le répertoire './classes'. Pour désinstaller faites 'make clean', le répertoire './classes' et l'exécutable 'pavot' seront effacés, ou bien 'make all-clean', les classes de CLPGUI seront aussi supprimées, ainsi que les liens sur les solveurs.

Windows et Linux:  installer l'executable java en dézipant et détarant le fichier donné (en respectant la hiérarchie originale),   puis double-cliquez sur l'icone pavot.jar ou lancer la commande

java -jar pavot.jar

java 1.4.2 est nécessaire pour l'exécution correcte du logiciel