blob: 48f8f9385e742fea0e4a31e0b472d12b1f99cd85 (
plain) (
tree)
|
|
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/jsr173_1.0_api.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jsr173_1.0_ri.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/model.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/swixml.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe
%%JAVASHAREDIR%%/%%PORTNAME%%/socketserver.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
%%PORTDOCS%%@dirrm %%DOCSDIR%%
|
