mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-31 05:41:08 +00:00
29 lines
926 B
Plaintext
29 lines
926 B
Plaintext
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%%
|