Home

1. Scaricare ProM 6.1 ./download_prom6.py prom61_origin

2. eseguire ./make_links_prom6.py prom61_origin

2bis) passare al branch git checkout -b devel --track origin/devel

3. Compilare prom e plugins: dentro prom61_builds fare:

./runbuild.sh

Per fare nuovi plugin 4) per ogni plugin creare i seguenti link nella dir del plugin ln -s ../prom61_origin/ProM/lib/ lib ln -s ../prom61_origin/ProM/dist/ stdlib

6. compilare con ant i plugin veri

7. fare il clone del progetto main dentro la dir del progetto dei plugin