cvs commit: ports/devel Makefile ports/devel/frama-c Makefile distinfo pkg-descr pkg-plist

[Brendan Fabeny]

bf          2011-09-18 15:38:25 UTC

  FreeBSD ports repository

  Modified files:
    devel                Makefile 
  Added files:
    devel/frama-c        Makefile distinfo pkg-descr pkg-plist 
  Log:
  Add frama-c , extensible platform for source-code analysis of C.
  
  Revision  Changes    Path
  1.4549    +1 -0      ports/devel/Makefile
  1.1       +109 -0    ports/devel/frama-c/Makefile (new)
  1.1       +2 -0      ports/devel/frama-c/distinfo (new)
  1.1       +16 -0     ports/devel/frama-c/pkg-descr (new)
  1.1       +906 -0    ports/devel/frama-c/pkg-plist (new)