28 lines
926 B
Text
28 lines
926 B
Text
bin/uppaal
|
|
bin/verifyta
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/editor.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jdom.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jh.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/model.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/swixml.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal.jar
|
|
%%EXAMPLESDIR%%/2doors.xml
|
|
%%EXAMPLESDIR%%/2doors.q
|
|
%%EXAMPLESDIR%%/bridge.xml
|
|
%%EXAMPLESDIR%%/bridge.q
|
|
%%EXAMPLESDIR%%/fischer.xml
|
|
%%EXAMPLESDIR%%/fischer.q
|
|
%%EXAMPLESDIR%%/fischer_symmetry.xml
|
|
%%EXAMPLESDIR%%/fischer_symmetry.q
|
|
%%EXAMPLESDIR%%/interrupt.xml
|
|
%%EXAMPLESDIR%%/interrupt.q
|
|
%%EXAMPLESDIR%%/train-gate.xml
|
|
%%EXAMPLESDIR%%/train-gate.q
|
|
@dirrm %%EXAMPLESDIR%%
|
|
@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/lib
|
|
@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%
|
|
%%PORTDOCS%%%%DOCSDIR%%/readme.txt
|
|
%%PORTDOCS%%@dirrm %%DOCSDIR%%
|