ports/84975: New Port: devel/uppaal

[Volker Stolz]

Synopsis: New Port: devel/uppaal

State-Changed-From-To: open->feedback
State-Changed-By: vs
State-Changed-When: Tue Sep 27 12:43:38 GMT 2005
State-Changed-Why: 
uppaal at menelaos [14:43:11]> make
===>  Building for uppaal-3.4.11
** Missing /usr/tmp/uppaal/files/verifyta.in for uppaal-3.4.11.
*** Error code 1

Stop in /usr/tmp/uppaal.
uppaal at menelaos [14:43:13]> ls -l files/
total 4
-rw-r--r--  1 stolz  wheel  271 Sep 23 11:04 patch-uppaal
-rw-r--r--  1 stolz  wheel  341 Sep 23 11:04 uppaal.in

Additionally, I'm not sure if apply-slist is really a
"user-serviceable" target...


Responsible-Changed-From-To: freebsd-ports-bugs->vs
Responsible-Changed-By: vs
Responsible-Changed-When: Tue Sep 27 12:43:38 GMT 2005
Responsible-Changed-Why: 
Grab.

http://www.freebsd.org/cgi/query-pr.cgi?pr=84975