debian/0000755000000000000000000000000012232145473007171 5ustar debian/control0000644000000000000000000000452212167011061010567 0ustar Source: maude Maintainer: Debian Med Packaging Team Uploaders: Scott Christley , Andreas Tille Section: science Priority: optional Build-Depends: debhelper (>= 9), autotools-dev, libtecla1-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex, libncurses5-dev Standards-Version: 3.9.4 Vcs-Browser: http://anonscm.debian.org/viewvc/debian-med/trunk/packages/maude/trunk/ Vcs-Svn: svn://anonscm.debian.org/debian-med/trunk/packages/maude/trunk/ Homepage: http://maude.cs.uiuc.edu Package: maude Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Description: 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. debian/rules0000755000000000000000000000045012232145311010237 0ustar #!/usr/bin/make -f # debian/rules file for maude export DH_VERBOSE=1 %: dh $@ --with autotools_dev override_dh_auto_configure: dh_auto_configure -- --datadir="/usr/share/maude" override_dh_auto_clean: dh_auto_clean rm -f src/Mixfix/surface.output find tests -name "*.out" -type f -delete debian/manpages0000644000000000000000000000001711527147070010706 0ustar debian/maude.1 debian/watch0000644000000000000000000000011111527147070010214 0ustar version=3 http://maude.cs.uiuc.edu/download/current/ Maude-(.+)\.tar\.gz debian/maude.10000644000000000000000000000643511527147070010357 0ustar .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=\fR Set seed for random number generator .TP \fB\-xml\-log=\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@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 based upon the Maude help text. debian/upstream0000644000000000000000000000076711724071645010772 0ustar Contact: Richard J. Wagner Reference-DOI: 10.1145/272991.272995 Homepage: http://www-personal.umich.edu/~wagnerr/MersenneTwister.html Name: Mersenne Twister Random Number Generator Reference: author: M. Matsumoto and T. Nishimura title: > Mersenne Twister: A 623-Dimensionally Equidistributed Uniform Pseudo-Random Number Generator journal: ACM Transactions on Modeling and Computer Simulation volume: 8 number: 1 year: 1998 pages: 3-30 URL: http://dl.acm.org/citation.cfm?id=272995 debian/copyright0000644000000000000000000000547612167007167011144 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: maude Upstream-Contact: Steven Eker Source: http://maude.uc.uiuc.edu/ Files: * Copyright: 1997-2011 SRI International, Menlo Park, CA 94025, USA. License: GPL-2+ Files: src/3rdParty/MersenneTwister.h Copyright: 2000 - 2003, Richard J. Wagner License: BSD-like 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. Comment: For citation information see file debian/upstream-metadata.yaml Files: debian/* Copyright: 2011 Scott Christley , Andreas Tille License: GPL-2+ 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'. debian/source/0000755000000000000000000000000011654774100010473 5ustar debian/source/format0000644000000000000000000000001411527147070011700 0ustar 3.0 (quilt) debian/changelog0000644000000000000000000000244612232145412011042 0ustar maude (2.6-4) unstable; urgency=low * debian/rules: dh --with autotools_dev Closes: #727454 -- Andreas Tille Thu, 24 Oct 2013 09:22:27 +0200 maude (2.6-3) unstable; urgency=low * renamed debian/upstream-metadata.yaml to debian/upstream * debian/copyright: cme fix dpkg-copyright * debian/control: - cme fix dpkg-control - debhelper 9 - drop cdbs, quilt from Build-Depends - Use anonscm in Vcs fields * debian/rules: - use short dh instead of cdbs - fix clean target -- Andreas Tille Tue, 09 Jul 2013 15:19:51 +0200 maude (2.6-2) unstable; urgency=low * Rebuilded after cleaning up Closes: #643212 * Added myself to Uploaders * Follow hint of ftpmaster to fix clean target and clean up src/Mixfix/surface.output * debian/control: - Standards-Version: 3.9.2 (no changes needed) - Fixed Vcs fields - Drop article 'A' from start of short description * Debhelper 8 (control+compat) * debian/copyright: DEP5 compatibility * debian/upstream-metadata.yaml: citing information -- Andreas Tille Fri, 04 Nov 2011 15:37:12 +0100 maude (2.6-1) unstable; urgency=low * Initial Release. (closes: #611927) -- Scott Christley Thu, 10 Feb 2011 14:11:58 -0800 debian/patches/0000755000000000000000000000000011654774075010635 5ustar debian/patches/search-datadir.patch0000644000000000000000000000214411527147070014516 0ustar Have maude search in datadir for its files. --- a/src/Main/main.cc +++ b/src/Main/main.cc @@ -263,6 +263,11 @@ { if (directoryManager.searchPath(MAUDE_LIB, directory, fileName, R_OK)) return true; + if (directoryManager.checkAccess(DATADIR, fileName, R_OK)) + { + directory = DATADIR; + return true; + } if (!(executableDirectory.empty()) && directoryManager.checkAccess(executableDirectory, fileName, R_OK)) { --- a/src/Mixfix/global.cc +++ b/src/Mixfix/global.cc @@ -83,6 +83,9 @@ return true; if (directoryManager.searchPath(MAUDE_LIB, directory, fileName, R_OK, ext)) return true; + directory = DATADIR; + if (directoryManager.checkAccess(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); debian/patches/series0000644000000000000000000000002511527147070012033 0ustar search-datadir.patch debian/compat0000644000000000000000000000000212167007320010362 0ustar 9