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 <[email protected]> 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 <[email protected]> +DM-Upload-Allowed: yes +Uploaders: Scott Christley <[email protected]> +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: [email protected] +.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 <[email protected]> +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 _______________________________________________ debian-med-commit mailing list [email protected] http://lists.alioth.debian.org/mailman/listinfo/debian-med-commit
