Date: Sat, 3 Dec 2011 20:41:57 +0000 (UTC) From: Michael Scheidell <scheidell@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: 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 Message-ID: <201112032041.pB3Kfvmc064464@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@beefree.free.de
Reviewed by: info@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201112032041.pB3Kfvmc064464>