From owner-cvs-all@FreeBSD.ORG Sat Dec 3 20:41:57 2011 Return-Path: Delivered-To: cvs-all@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 5540A106566C; Sat, 3 Dec 2011 20:41:57 +0000 (UTC) (envelope-from scheidell@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id 2A4FB8FC14; Sat, 3 Dec 2011 20:41:57 +0000 (UTC) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.4/8.14.4) with ESMTP id pB3KfvfJ064465; Sat, 3 Dec 2011 20:41:57 GMT (envelope-from scheidell@repoman.freebsd.org) Received: (from scheidell@localhost) by repoman.freebsd.org (8.14.4/8.14.4/Submit) id pB3Kfvmc064464; Sat, 3 Dec 2011 20:41:57 GMT (envelope-from scheidell) Message-Id: <201112032041.pB3Kfvmc064464@repoman.freebsd.org> From: Michael Scheidell Date: Sat, 3 Dec 2011 20:41:57 +0000 (UTC) To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org X-FreeBSD-CVS-Branch: HEAD Cc: 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 X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: **OBSOLETE** CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 03 Dec 2011 20:41:57 -0000 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