cvs commit: ports/devel Makefile ports/devel/uppaal Makefile distinfo pkg-descr pkg-plist ports/devel/uppaal/files patch-uppaal uppaal.in verifyta.in

[Volker Stolz]

vs          2005-11-16 09:25:52 UTC

  FreeBSD ports repository

  Modified files:
    devel                Makefile 
  Added files:
    devel/uppaal         Makefile distinfo pkg-descr pkg-plist 
    devel/uppaal/files   patch-uppaal uppaal.in verifyta.in 
  Log:
  Uppaal is an integrated tool environment for modeling, validation
  and verification of real-time systems modeled as networks of timed
  automata, extended with data types (bounded integers, arrays, etc.).
  
  The tool is developed in collaboration between the Department of
  Information Technology at Uppsala University, Sweden and the
  Department of Computer Science at Aalborg University in Denmark.
  
  WWW: http://www.uppaal.com/
  
  PR:             ports/84975
  Submitted by:   Timothy Bourke
  
  Revision  Changes    Path
  1.2036    +1 -0      ports/devel/Makefile
  1.1       +79 -0     ports/devel/uppaal/Makefile (new)
  1.1       +2 -0      ports/devel/uppaal/distinfo (new)
  1.1       +11 -0     ports/devel/uppaal/files/patch-uppaal (new)
  1.1       +14 -0     ports/devel/uppaal/files/uppaal.in (new)
  1.1       +2 -0      ports/devel/uppaal/files/verifyta.in (new)
  1.1       +9 -0      ports/devel/uppaal/pkg-descr (new)
  1.1       +25 -0     ports/devel/uppaal/pkg-plist (new)