[med-svn] r6006 - in trunk/packages: . maude maude/trunk maude/trunk/debian maude/trunk/debian/patches maude/trunk/debian/source
Scott Christley
schristley-guest at alioth.debian.org
Thu Feb 17 00:36:22 UTC 2011
Author: schristley-guest
Date: 2011-02-17 00:36:22 +0000 (Thu, 17 Feb 2011)
New Revision: 6006
Added:
trunk/packages/maude/
trunk/packages/maude/trunk/
trunk/packages/maude/trunk/debian/
trunk/packages/maude/trunk/debian/changelog
trunk/packages/maude/trunk/debian/compat
trunk/packages/maude/trunk/debian/control
trunk/packages/maude/trunk/debian/copyright
trunk/packages/maude/trunk/debian/manpages
trunk/packages/maude/trunk/debian/maude.1
trunk/packages/maude/trunk/debian/patches/
trunk/packages/maude/trunk/debian/patches/search-datadir.patch
trunk/packages/maude/trunk/debian/patches/series
trunk/packages/maude/trunk/debian/rules
trunk/packages/maude/trunk/debian/source/
trunk/packages/maude/trunk/debian/source/format
trunk/packages/maude/trunk/debian/watch
Log:
initial packaging of maude
Property changes on: trunk/packages/maude/trunk/debian
___________________________________________________________________
Added: mergeWithUpstream
+ 1
Added: trunk/packages/maude/trunk/debian/changelog
===================================================================
--- trunk/packages/maude/trunk/debian/changelog (rev 0)
+++ trunk/packages/maude/trunk/debian/changelog 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1,5 @@
+maude (2.6-1) unstable; urgency=low
+
+ * Initial Release. (closes: #611927)
+
+ -- Scott Christley <schristley at mac.com> Thu, 10 Feb 2011 14:11:58 -0800
Added: trunk/packages/maude/trunk/debian/compat
===================================================================
--- trunk/packages/maude/trunk/debian/compat (rev 0)
+++ trunk/packages/maude/trunk/debian/compat 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1 @@
+7
Added: trunk/packages/maude/trunk/debian/control
===================================================================
--- trunk/packages/maude/trunk/debian/control (rev 0)
+++ trunk/packages/maude/trunk/debian/control 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1,45 @@
+Source: maude
+Section: science
+Priority: optional
+Maintainer: Debian Med Packaging Team <debian-med-packaging at lists.alioth.debian.org>
+DM-Upload-Allowed: yes
+Uploaders: Scott Christley <schristley at mac.com>
+Build-Depends: cdbs, debhelper (>= 7), quilt, autotools-dev, libtecla1-dev, libbdd-dev, libgmp3-dev,
+ libsigsegv-dev, bison, flex, libncurses5-dev
+Standards-Version: 3.9.1
+Homepage: http://maude.cs.uiuc.edu
+Vcs-Browser: http://svn.debian.org/wsvn/debian-med/trunk/packages/maude/trunk/?rev=0&sc=0
+Vcs-Svn: svn://svn.debian.org/svn/debian-med/trunk/packages/maude/trunk/
+
+Package: maude
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Conflicts: maude
+Description: A high-performance logical framework.
+ Maude is a high-performance reflective language and system supporting
+ both equational and rewriting logic specification and programming for
+ a wide range of applications. Maude has been influenced in important
+ ways by the OBJ3 language, which can be regarded as an equational
+ logic sublanguage. Besides supporting equational specification and
+ programming, Maude also supports rewriting logic computation.
+ .
+ Rewriting logic is a logic of concurrent change that can naturally
+ deal with state and with concurrent computations. It has good
+ properties as a general semantic framework for giving executable
+ semantics to a wide range of languages and models of concurrency. In
+ particular, it supports very well concurrent object-oriented
+ computation. The same reasons making rewriting logic a good semantic
+ framework make it also a good logical framework, that is, a metalogic
+ in which many other logics can be naturally represented and executed.
+ .
+ Maude supports in a systematic and efficient way logical
+ reflection. This makes Maude remarkably extensible and powerful,
+ supports an extensible algebra of module composition operations, and
+ allows many advanced metaprogramming and metalanguage
+ applications. Indeed, some of the most interesting applications of
+ Maude are metalanguage applications, in which Maude is used to create
+ executable environments for different logics, theorem provers,
+ languages, and models of computation.
+ .
+ Maude is of interest to the biomedical community for modeling and
+ analysis of biological systems.
Added: trunk/packages/maude/trunk/debian/copyright
===================================================================
--- trunk/packages/maude/trunk/debian/copyright (rev 0)
+++ trunk/packages/maude/trunk/debian/copyright 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1,62 @@
+Format-Specification: http://svn.debian.org/wsvn/dep/web/deps/dep5.mdwn?op=file&rev=135
+Name: maude
+Maintainer: Maude Project Team
+Source: http://maude.uc.uiuc.edu/
+
+Copyright: 1997-2011 SRI International, Menlo Park, CA 94025, USA.
+License: GPL-2+
+
+This program is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published
+by the Free Software Foundation; either version 2 of the License,
+or (at your option) any later version.
+
+This program is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License along
+with this program; if not, write to the Free Software Foundation, Inc.,
+51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+
+On Debian systems, the full text of the GNU General Public
+License version 2 can be found in the file
+`/usr/share/common-licenses/GPL-2'.
+
+
+Files: src/3rdParty/MersenneTwister.h
+Copyright: 1997 - 2002, Makoto Matsumoto and Takuji Nishimura,
+Copyright: 2000 - 2003, Richard J. Wagner
+
+Reference
+M. Matsumoto and T. Nishimura, "Mersenne Twister: A 623-Dimensionally
+Equidistributed Uniform Pseudo-Random Number Generator", ACM Transactions on
+Modeling and Computer Simulation, Vol. 8, No. 1, January 1998, pp 3-30.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+
+ 1. Redistributions of source code must retain the above copyright
+ notice, this list of conditions and the following disclaimer.
+
+ 2. Redistributions in binary form must reproduce the above copyright
+ notice, this list of conditions and the following disclaimer in the
+ documentation and/or other materials provided with the distribution.
+
+ 3. The names of its contributors may not be used to endorse or promote
+ products derived from this software without specific prior written
+ permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
+CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Added: trunk/packages/maude/trunk/debian/manpages
===================================================================
--- trunk/packages/maude/trunk/debian/manpages (rev 0)
+++ trunk/packages/maude/trunk/debian/manpages 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1 @@
+debian/maude.1
Added: trunk/packages/maude/trunk/debian/maude.1
===================================================================
--- trunk/packages/maude/trunk/debian/maude.1 (rev 0)
+++ trunk/packages/maude/trunk/debian/maude.1 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1,108 @@
+.TH MAUDE 1 "February 2011"
+.SH NAME
+Maude \- A high-performance logical framework
+.SH SYNOPSIS
+.B maude
+[\fIoptions\fR] [\fIfiles\fR]
+.SH DESCRIPTION
+This manual page documents briefly the
+.B Maude
+interpreter.
+This manual page was written for the Debian distribution
+because the original program does not have a manual page.
+.PP
+\fBMaude\fP is a high-performance reflective language and system supporting
+both equational and rewriting logic specification and programming for
+a wide range of applications. \fBMaude\fP has been influenced in important
+ways by the OBJ3 language, which can be regarded as an equational
+logic sublanguage. Besides supporting equational specification and
+programming, \fBMaude\fP also supports rewriting logic computation.
+.PP
+Rewriting logic is a logic of concurrent change that can naturally
+deal with state and with concurrent computations. It has good
+properties as a general semantic framework for giving executable
+semantics to a wide range of languages and models of concurrency. In
+particular, it supports very well concurrent object-oriented
+computation. The same reasons making rewriting logic a good semantic
+framework make it also a good logical framework, that is, a metalogic
+in which many other logics can be naturally represented and executed.
+.PP
+\fBMaude\fP supports in a systematic and efficient way logical
+reflection. This makes \fBMaude\fP remarkably extensible and powerful,
+supports an extensible algebra of module composition operations, and
+allows many advanced metaprogramming and metalanguage
+applications. Indeed, some of the most interesting applications of
+\fBMaude\fP are metalanguage applications, in which \fBMaude\fP is used to create
+executable environments for different logics, theorem provers,
+languages, and models of computation.
+.TP
+\fB\-\-help\fR
+display help information
+.TP
+\fB\-\-version\fR
+Display version number
+.TP
+\fB\-no\-prelude\fR
+Do not read in the standard prelude
+.TP
+\fB\-no\-banner\fR
+Do not output banner on startup
+.TP
+\fB\-no\-advice\fR
+No advisories on startup
+.TP
+\fB\-no\-mixfix\fR
+Do not use mixfix notation for output
+.TP
+\fB\-no\-wrap\fR
+Do not automatic line wrapping for output
+.TP
+\fB\-ansi\-color\fR
+Use ANSI control sequences
+.TP
+\fB\-no\-ansi\-color\fR
+Do not use ANSI control sequences
+.TP
+\fB\-tecla\fR
+Use tecla command line editing
+.TP
+\fB\-no\-tecla\fR
+Do not use tecla command line editing
+.TP
+\fB\-batch\fR
+Run in batch mode
+.TP
+\fB\-interactive\fR
+Run in interactive mode
+.TP
+\fB\-random\-seed=<int>\fR
+Set seed for random number generator
+.TP
+\fB\-xml\-log=<filename>\fR
+Set file in which to produce an xml log
+.SH COPYRIGHT
+Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.
+.P
+Copyright (c) 1997 - 2002, Makoto Matsumoto and Takuji Nishimura,
+.P
+Copyright (c) 2000 - 2003, Richard J. Wagner
+.SH REPORTING BUGS
+Send bug reports to: maude-bugs at maude.cs.uiuc.edu
+.SH SEE ALSO
+.PP
+.B Websites:
+.TP
+http://maude.cs.uiuc.edu/
+Official Maude website
+.P
+.B Mailing lists:
+.TP
+http://lists.cs.uiuc.edu/mailman/listinfo/maude-users
+A moderated list for the discussion of topics of general interest to all Maude users.
+.TP
+http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
+Help list for questions about using Maude.
+.br
+.SH AUTHOR
+This manual page was written by Scott Christley <schristley at mac.com>
+based upon the Maude help text.
Added: trunk/packages/maude/trunk/debian/patches/search-datadir.patch
===================================================================
--- trunk/packages/maude/trunk/debian/patches/search-datadir.patch (rev 0)
+++ trunk/packages/maude/trunk/debian/patches/search-datadir.patch 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1,33 @@
+Have maude search in datadir for its files.
+--- a/src/Main/main.cc
++++ b/src/Main/main.cc
+@@ -263,6 +263,8 @@
+ {
+ if (directoryManager.searchPath(MAUDE_LIB, directory, fileName, R_OK))
+ return true;
++ if (directoryManager.searchPath(DATADIR, directory, fileName, R_OK))
++ return true;
+ if (!(executableDirectory.empty()) &&
+ directoryManager.checkAccess(executableDirectory, fileName, R_OK))
+ {
+--- a/src/Mixfix/global.cc
++++ b/src/Mixfix/global.cc
+@@ -83,6 +83,8 @@
+ return true;
+ if (directoryManager.searchPath(MAUDE_LIB, directory, fileName, R_OK, ext))
+ return true;
++ if (directoryManager.searchPath(DATADIR, directory, fileName, R_OK, ext))
++ return true;
+ if (!(executableDirectory.empty()) &&
+ directoryManager.checkAccess(executableDirectory, fileName, R_OK, ext))
+ {
+--- a/src/Mixfix/global.hh
++++ b/src/Mixfix/global.hh
+@@ -36,6 +36,7 @@
+
+ #define PRELUDE_NAME "prelude.maude"
+ #define MAUDE_LIB "MAUDE_LIB"
++#define DATADIR "/usr/share/maude"
+
+ bool
+ findPrelude(string& directory, string& fileName);
Added: trunk/packages/maude/trunk/debian/patches/series
===================================================================
--- trunk/packages/maude/trunk/debian/patches/series (rev 0)
+++ trunk/packages/maude/trunk/debian/patches/series 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1 @@
+search-datadir.patch
Added: trunk/packages/maude/trunk/debian/rules
===================================================================
--- trunk/packages/maude/trunk/debian/rules (rev 0)
+++ trunk/packages/maude/trunk/debian/rules 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1,10 @@
+#!/usr/bin/make -f
+# debian/rules file for maude
+export DH_VERBOSE=1
+
+
+include /usr/share/cdbs/1/rules/patchsys-quilt.mk
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/autotools.mk
+
+DEB_CONFIGURE_EXTRA_FLAGS := --datadir="/usr/share/maude"
Property changes on: trunk/packages/maude/trunk/debian/rules
___________________________________________________________________
Added: svn:executable
+ *
Added: trunk/packages/maude/trunk/debian/source/format
===================================================================
--- trunk/packages/maude/trunk/debian/source/format (rev 0)
+++ trunk/packages/maude/trunk/debian/source/format 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1 @@
+3.0 (quilt)
Added: trunk/packages/maude/trunk/debian/watch
===================================================================
--- trunk/packages/maude/trunk/debian/watch (rev 0)
+++ trunk/packages/maude/trunk/debian/watch 2011-02-17 00:36:22 UTC (rev 6006)
@@ -0,0 +1,2 @@
+version=3
+http://maude.cs.uiuc.edu/download/current/ Maude-(.+)\.tar\.gz
More information about the debian-med-commit
mailing list