cvs commit: ports/lang/twelf Makefile distinfo pkg-descr pkg-plist ports/lang/twelf/files patch-FreeBSD.mk patch-Makefile patch-bin-mkexec patch-doc-guide-Makefile patch-doc-guide-twelf.texi patch-mlton-Makefile patch-smlnj-Makefile patch-twelf.info

[Wesley Shields]

wxs         2009-04-11 03:00:02 UTC

  FreeBSD ports repository

  Modified files:
    lang/twelf           Makefile distinfo pkg-descr pkg-plist 
    lang/twelf/files     patch-Makefile 
  Added files:
    lang/twelf/files     patch-FreeBSD.mk patch-bin-mkexec 
                         patch-doc-guide-Makefile 
                         patch-doc-guide-twelf.texi 
                         patch-mlton-Makefile patch-smlnj-Makefile 
  Removed files:
    lang/twelf/files     patch-twelf.info 
  Log:
  - Update to 1.5R1
  
  PR:             ports/131631
  Submitted by:   Andrew Bernard <andrewb at cs.cmu.edu> (maintainer)
  
  Revision  Changes    Path
  1.3       +19 -3     ports/lang/twelf/Makefile
  1.2       +3 -3      ports/lang/twelf/distinfo
  1.1       +170 -0    ports/lang/twelf/files/patch-FreeBSD.mk (new)
  1.2       +19 -78    ports/lang/twelf/files/patch-Makefile
  1.1       +13 -0     ports/lang/twelf/files/patch-bin-mkexec (new)
  1.1       +11 -0     ports/lang/twelf/files/patch-doc-guide-Makefile (new)
  1.1       +14 -0     ports/lang/twelf/files/patch-doc-guide-twelf.texi (new)
  1.1       +30 -0     ports/lang/twelf/files/patch-mlton-Makefile (new)
  1.1       +26 -0     ports/lang/twelf/files/patch-smlnj-Makefile (new)
  1.2       +0 -13     ports/lang/twelf/files/patch-twelf.info (dead)
  1.2       +1 -1      ports/lang/twelf/pkg-descr
  1.2       +115 -48   ports/lang/twelf/pkg-plist