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 at FreeBSD.org
Sat Dec 3 20:41:57 UTC 2011
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
More information about the cvs-all
mailing list