cvs commit: ports/lang/maude Makefile distinfo pkg-plist ports/lang/maude/files patch-maude-data-dir.diff patch-src-Main-Makefile.in patch-src__Main__main.cc patch-src__Mixfix__global.cc patch-src__Mixfix__global.hh

[Michael Scheidell]

scheidell    2011-12-03 20:41:57 UTC

  FreeBSD ports repository

  Modified files:
    lang/maude           Makefile distinfo pkg-plist 
  Added files:
    lang/maude/files     patch-src__Main__main.cc 
                         patch-src__Mixfix__global.cc 
                         patch-src__Mixfix__global.hh 
  Removed files:
    lang/maude/files     patch-maude-data-dir.diff 
                         patch-src-Main-Makefile.in 
  Log:
  - Update to 2.6.
  - Make all files in ${DATADIR} loadable by filename without an explicit path,
  and without setting MAUDE_LIB. Currently only
  ${DATADIR}/prelude.maude is loaded (during startup).
  - Add option FULL_MAUDE (default: on) for user convenience. This
  installs full-maude26b.maude into ${DATADIR}.
  - previous maintainer turns port over to committer
  
  PR:             ports/162955
  Submitted by:   joemann at beefree.free.de
  Reviewed by:    info at rickvanderzwet.nl
  Approved by:    maintainer, gabor(mentor)
  Feature safe:   yes
  
  Revision  Changes    Path
  1.13      +32 -4     ports/lang/maude/Makefile
  1.4       +4 -2      ports/lang/maude/distinfo
  1.2       +0 -35     ports/lang/maude/files/patch-maude-data-dir.diff (dead)
  1.2       +0 -327    ports/lang/maude/files/patch-src-Main-Makefile.in (dead)
  1.1       +14 -0     ports/lang/maude/files/patch-src__Main__main.cc (new)
  1.1       +14 -0     ports/lang/maude/files/patch-src__Mixfix__global.cc (new)
  1.1       +10 -0     ports/lang/maude/files/patch-src__Mixfix__global.hh (new)
  1.3       +2 -0      ports/lang/maude/pkg-plist