debian/0000755000000000000000000000000011563310207007164 5ustar debian/emacsen-remove0000644000000000000000000000071311563310207012016 0ustar #!/bin/sh -e # /usr/lib/emacsen-common/packages/remove/maria FLAVOR=$1 PACKAGE=maria if [ ${FLAVOR} != emacs ]; then if test -x /usr/sbin/install-info-altdir; then echo remove/${PACKAGE}: removing Info links for ${FLAVOR} install-info-altdir --quiet --remove --dirname=${FLAVOR} /usr/info/maria.info.gz fi echo remove/${PACKAGE}: purging byte-compiled files for ${FLAVOR} rm -rf /usr/share/${FLAVOR}/site-lisp/${PACKAGE} fi debian/NEWS.Debian0000644000000000000000000000033011563310207011040 0ustar maria (1.3.4-5) unstable; urgency=low * The functionality of the former debian-vis package is now included in the maria package. -- Ralf Treinen Sun, 13 Feb 2005 16:06:12 +0100 debian/maria.manpages0000644000000000000000000000004011563310207011764 0ustar maria.1 maria-cso.1 maria-vis.1 debian/changelog0000644000000000000000000001467711563310207011055 0ustar maria (1.3.5-4) unstable; urgency=low * debian/control: - set section to science - set priority to extra - set maintainer to debian-science - add Vcs-Git/Browse fields * Simplify invocations to debhelpers in debian/rules * patch utf8: migrate NEWS file to utf8 -- Ralf Treinen Fri, 13 May 2011 21:59:53 +0200 maria (1.3.5-3) unstable; urgency=low * Patch gcc4.6: add missing #includes to fix FTBFS with gcc4.6 (closes: #624926). * Standards-Version 3.9.2 (no change) -- Ralf Treinen Tue, 03 May 2011 07:13:20 +0200 maria (1.3.5-2) unstable; urgency=low * debhelper compatibility level 7. * Standards-Version 3.8.3 (no change) * Convert to source format 3.0 (quilt): - debian/patches in quilt style - no more patching in debian/rules - no more build-dependency on dpatch - added debian/source/format - remove debian/README.source * debian/control: - add dependency on ${misc:Depends} - change dependency on libreadline5-dev to libreadline-dev (closes: #553809) - remove obsolete build-dependency on xutils - add Homepage field * debian/copyright: - converted to UTF-8 - point to GPL-2 file instead of GPL file * debian/maria-doc.doc-base: - section Science/Mathematics - fieldname "authors" corrected to "author" - converted to UTF-8 * debian/rules: - "dh_clean -k" => "dh_prep" - "make reallyclean" => "make clean" since the former seems to be the cause of segfaults, explicitly remove maria and doc/maria.info (closes: Bug#544575). - do not ignore errors of "make clean" - fix clean target to remove generate html files in doc * Changed recommendation of infobrowser to info (package maria-doc) -- Ralf Treinen Sun, 22 Nov 2009 13:02:15 +0100 maria (1.3.5-1) unstable; urgency=low * New upstream release. * Desactivated patch 03gcc40, seems to be fixed by upstream. * Install upstream NEWS file as /usr/share/doc/*/changelog. -- Ralf Treinen Mon, 8 Aug 2005 12:32:36 +0200 maria (1.3.4-7) unstable; urgency=low * Compile with "-O3" instead of "-O2" on m68k to work around a FTBFS caused by a gcc-4.0 bug. * texi2html now produces *html files in subdirectory "maria/" -- Ralf Treinen Fri, 5 Aug 2005 12:38:59 +0200 maria (1.3.4-6) unstable; urgency=low * Standards Version 3.6.2 (no changes). * Some minor improvements in README.examples. * Rebuild with gcc 4. -- Ralf Treinen Wed, 6 Jul 2005 20:44:25 +0200 maria (1.3.4-5) unstable; urgency=low * The binary package maria-vis is no longer build since graphviz is now in main. The package maria now replaces and conflicts with maria-vis. (closes: Bug#292595). * debian/copyright: distinguish copyright and licence. * Removed the lintian override concerning unusual interpreter lefty - this is now a lintian bug. * Wrote README.examples, put it in /usr/share/doc/maria/examples * Removed spurious $(CURDIR) in debian/rules -- Ralf Treinen Sun, 13 Feb 2005 17:17:51 +0100 maria (1.3.4-4) unstable; urgency=low * Use dpatch. Dpatchify old patches: - 01lefty_path: fix path of lefty interpreter - 02compile_options: fix compile flags * Patch 03gcc40: Fix compilation error for gcc4.0 on amd64. Patch contributed by Andreas Jochens - thanks! (closes: Bug#288926) * Short descriptions start on a lowercase letter. * Removed useless ${misc:Depends} from maria's Dependency. * Removed debian/TODO. -- Ralf Treinen Thu, 6 Jan 2005 20:48:05 +0100 maria (1.3.4-3) unstable; urgency=low * Switch from libreadline4 to libreadline5. -- Ralf Treinen Sat, 1 Jan 2005 18:19:33 +0100 maria (1.3.4-2) unstable; urgency=low * Converted this changelog file to UTF-8 * Package maria-doc: added Recommends infobrowser * Standards-version 3.6.1 (no change) * Added a debian/watch file * Added a lintian override for maria-vis concering the use of lefty as an interpreter -- Ralf Treinen Wed, 4 Aug 2004 09:54:50 +0200 maria (1.3.4-1) unstable; urgency=low * New upstream release * Standards-Version: 3.6.0 * Use a file debian/compat instead of variable DH_COMPAT in debian/rules * Installation of info files: don't attempt to install maria.info-* -- Ralf Treinen Mon, 4 Aug 2003 23:01:40 +0200 maria (1.3.3-1) unstable; urgency=low * New upstream release. This release should compile on gcc 3.0 (closes: Bug#171226). -- Ralf Treinen Mon, 9 Dec 2002 21:48:45 +0100 maria (1.3.2-1) unstable; urgency=low * New upstream release. * Applied a patch to maria.texinfo sent by Marko Mäkelä. * Compilation/runtime/codec.h, and Graph/BitBuffer.h: Put the test for __linux before tests on specific architectures (solution suggested by Marko Mäkelä). This should resolve the autobuilder failure on alpha. -- Ralf Treinen Thu, 5 Dec 2002 21:32:26 +0100 maria (1.3.1-3) unstable; urgency=low * Build-Dependency on debhelper bumped up to >= 4.0 * debian/rules: target "build" does no longer depend on target "build-doc" -- Ralf Treinen Fri, 29 Nov 2002 23:02:38 +0100 maria (1.3.1-2) unstable; urgency=low * Added build-dependency on xutils (needed since Makefile calls makedepend). This should resolve the autobuilder failures on 1.3.1-1. * DH_COMPAT=4 in debian/rules, and added ${misc:Depends} to the Depends field in debian/control. -- Ralf Treinen Thu, 28 Nov 2002 19:50:02 +0100 maria (1.3.1-1) unstable; urgency=low * New upstream release, and first version actually uploaded to unstable (closes: Bug#146320). * Standards-Version: 3.5.8. * debian/copyright: corrected email address of upstream author. * debian/copyright: the maria-vis script is now in the public domain. * debian/rules: change value of EXDIR, since Makefile uses it relativ to the value of DESTDIR. * debian/rules: pass debug and noopt option to make. * Makefile.Linux: /usr/local/{lib,include} -> /usr/{lib,include} * Makefile.Linux: add a COPTFLAGS variable, to pass optimization flags to the makefile. -- Ralf Treinen Thu, 21 Nov 2002 20:57:19 +0100 maria (1.2-0.alpha) experimental; urgency=low * Initial Release. -- Ralf Treinen Tue, 6 Aug 2002 23:15:53 +0200 debian/maria.dirs0000644000000000000000000000010511563310207011134 0ustar usr/bin usr/share/emacs/site-lisp/maria usr/share/doc/maria/examples debian/maria.examples0000644000000000000000000000002711563310207012014 0ustar debian/README.examples debian/maria-doc.dirs0000644000000000000000000000003511563310207011701 0ustar usr/share/doc/maria-doc/html debian/maria.install0000644000000000000000000000010311563310207011637 0ustar elisp/* usr/share/emacs/site-lisp/maria NEWS usr/share/doc/maria debian/source/0000755000000000000000000000000011563310207010464 5ustar debian/source/format0000644000000000000000000000001411563310207011672 0ustar 3.0 (quilt) debian/rules0000755000000000000000000000317111563310207010246 0ustar #!/usr/bin/make -f # rules for maria # export DH_VERBOSE=1 # workaround for gcc-4.0 bug on m68k export DEB_HOST_ARCH = $(shell dpkg-architecture -qDEB_HOST_ARCH) ifeq ($(DEB_HOST_ARCH),m68k) OPTFLAGS = -O2 else OPTFLAGS = -O3 endif ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS))) OPTFLAGS = -O0 endif build: build-stamp build-stamp: dh_testdir $(MAKE) -f Makefile.Linux CXXOPTFLAGS=$(OPTFLAGS) touch build-stamp build-doc: build-doc-stamp build-doc-stamp: dh_testdir cd doc \ && makeinfo maria.texinfo \ && texi2html -split chapter maria.texinfo touch build-doc-stamp clean: dh_testdir dh_testroot -rm build-stamp build-doc-stamp $(MAKE) clean rm -f maria doc/maria*.html doc/maria.info dh_clean install-indep: build-doc dh_testdir -i dh_testroot -i dh_prep dh_installdirs -i dh_install -i install-arch: build dh_testdir -a dh_testroot -a dh_prep dh_installdirs -a dh_install -a $(MAKE) install DESTDIR=debian/maria \ EXDIR=/usr/share/doc/maria/examples binary-indep: install-indep dh_testdir -i dh_testroot -i dh_installdocs -i dh_installinfo -i dh_installchangelogs -i dh_link -i dh_compress -i dh_fixperms -i dh_installdeb -i dh_gencontrol -i dh_md5sums -i dh_builddeb -i binary-arch: install-arch dh_testdir -a dh_testroot -a dh_installemacsen -a dh_installchangelogs -a dh_installdocs -a dh_installman -a dh_installexamples -a dh_link -a dh_strip -a dh_compress -a dh_fixperms -a dh_installdeb -a dh_shlibdeps -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a binary: binary-indep binary-arch .PHONY: build clean binary-indep binary-arch install-indep install-arch debian/watch0000644000000000000000000000011311563310207010210 0ustar version=2 http://www.tcs.hut.fi/Software/maria/src/maria-([\d.]*)\.tar\.gz debian/copyright0000644000000000000000000000135311563310207011121 0ustar This package was debianized by Ralf Treinen on Fri, 2 Aug 2002 22:20:09 +0200. It was downloaded from http://www.tcs.hut.fi/Software/maria/src/ Upstream Author: Marko Mäkelä Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003 Marko Mäkelä (msmakela@tcs.hut.fi) Licence: Maria, with the exception of the maria-vis script, is covered by the following licence: You are free to distribute this software under the terms of the GNU General Public License, version 2. On Debian systems, the complete text of the GNU General Public License can be found in the /usr/share/common-licenses/GPL-2 file. Maria-vis was written in 2001 by Marko Mäkelä , and it is in the public domain. debian/maria-doc.doc-base0000644000000000000000000000037011563310207012417 0ustar Document: maria-doc Title: Maria Manual Author: Marko Mäkelä Abstract: This manual describes how to use maria. Section: Science/Mathematics Format: HTML Index: /usr/share/doc/maria-doc/html/maria.html Files: /usr/share/doc/maria-doc/html/*.html debian/patches/0000755000000000000000000000000011563310207010613 5ustar debian/patches/utf80000644000000000000000000000254611563310207011433 0ustar Author: Ralf Treinen Description: migrate to utf8 encoding, remove some cruft Index: maria/NEWS =================================================================== --- maria.orig/NEWS 2011-05-13 21:56:52.000000000 +0200 +++ maria/NEWS 2011-05-13 21:57:59.000000000 +0200 @@ -1,7 +1,7 @@ Maria NEWS -- history of user-visible changes. 29th July 2005 -Copyright © 2002,2003,2004,2005 Marko Mäkelä +Copyright © 2002,2003,2004,2005 Marko Mäkelä See the end for copying conditions. - + * Maria 1.3.5 is a maintenance release with performance and portability fixes ** Identified performance bottlenecks with OProfile on GNU/Linux x86 @@ -230,12 +230,11 @@ *** The liveness property checker was slightly optimised. * Maria 1.0 was the first official release. - ---------------------------------------------------------------------- Copyright information: -Copyright © 2002,2003,2004,2005 Marko Mäkelä +Copyright © 2002,2003,2004,2005 Marko Mäkelä Permission is granted to anyone to make or distribute verbatim copies of this document as received, in any medium, provided that the @@ -246,8 +245,3 @@ of this document, or of portions of it, under the above conditions, provided also that they carry prominent notices stating who last changed them. - -Local variables: -mode: outline -paragraph-separate: "[ ]*$" -end: debian/patches/series0000644000000000000000000000004711563310207012031 0ustar lefty_path compile_options gcc4.6 utf8 debian/patches/gcc4.60000644000000000000000000000517111563310207011526 0ustar Author: Ralf Treinen Description: Add missing includes of , necessary for compilation with gcc4.6 Debian-bug: #624926 Index: maria-1.3.5/parser/VariableStackMap.C =================================================================== --- maria-1.3.5.orig/parser/VariableStackMap.C 2011-05-03 06:41:32.000000000 +0200 +++ maria-1.3.5/parser/VariableStackMap.C 2011-05-03 06:42:17.000000000 +0200 @@ -6,6 +6,7 @@ #include "VariableStackMap.h" #include "VariableDefinition.h" #include +#include /** @file VariableStackMap.C * Nested symbol tables for variable names Index: maria-1.3.5/parser/NameList.h =================================================================== --- maria-1.3.5.orig/parser/NameList.h 2011-05-03 06:41:32.000000000 +0200 +++ maria-1.3.5/parser/NameList.h 2011-05-03 06:42:17.000000000 +0200 @@ -7,6 +7,7 @@ # endif // __GNUC__ # include +#include /** @file NameList.h * List of names Index: maria-1.3.5/Expression/Substitution.h =================================================================== --- maria-1.3.5.orig/Expression/Substitution.h 2011-05-03 06:42:43.000000000 +0200 +++ maria-1.3.5/Expression/Substitution.h 2011-05-03 06:43:08.000000000 +0200 @@ -7,6 +7,7 @@ # endif // __GNUC__ # include +#include /** @file Substitution.h * Map from variables (quantifiers or function parameters) to expressions Index: maria-1.3.5/Net/PlaceMarking.h =================================================================== --- maria-1.3.5.orig/Net/PlaceMarking.h 2011-05-03 06:43:52.000000000 +0200 +++ maria-1.3.5/Net/PlaceMarking.h 2011-05-03 06:44:23.000000000 +0200 @@ -8,6 +8,7 @@ # include "Value.h" # include +#include /** @file PlaceMarking.h * Assignment of a place to a multi-set Index: maria-1.3.5/Expression/VariableSet.h =================================================================== --- maria-1.3.5.orig/Expression/VariableSet.h 2011-05-03 06:45:02.000000000 +0200 +++ maria-1.3.5/Expression/VariableSet.h 2011-05-03 06:45:26.000000000 +0200 @@ -7,6 +7,7 @@ # endif // __GNUC__ # include +#include /** @file VariableSet.h * Set of variables, a transient class used in preprocessing Index: maria-1.3.5/Value/Valuation.C =================================================================== --- maria-1.3.5.orig/Value/Valuation.C 2011-05-03 06:46:29.000000000 +0200 +++ maria-1.3.5/Value/Valuation.C 2011-05-03 06:46:59.000000000 +0200 @@ -9,6 +9,7 @@ #ifndef NDEBUG # include "Type.h" #endif // NDEBUG +#include /** @file Valuation.C * Assignment of variables to values debian/patches/lefty_path0000644000000000000000000000066111563310207012700 0ustar Author: Ralf Treinen Description: use standard path to call lefty interpreter --- maria-1.3.4/maria-vis 2005-01-06 20:09:21.000000000 +0100 +++ /tmp/dpep.8jLSBV/maria-1.3.4/maria-vis 2005-01-06 20:13:55.000000000 +0100 @@ -1,4 +1,4 @@ -#!/usr/local/bin/lefty +#!/usr/bin/lefty # This is a graphical user interface for maria(1). # It requires the lefty interpreter and the dotty*.lefty scripts of GraphViz. # debian/patches/compile_options0000644000000000000000000000114011563310207013735 0ustar Author: Ralf Treinen Description: Fix compile flags CFLAGS and CXXOPTFLAGS --- maria-1.3.4/Makefile.Linux 2005-01-06 20:11:35.000000000 +0100 +++ /tmp/dpep.PkKMxS/maria-1.3.4/Makefile.Linux 2005-01-06 20:15:40.000000000 +0100 @@ -16,8 +16,8 @@ EXTRA_INCLUDES = EXTRA_LIBS = -ldl# -lstlport DEFINES = -DHAS_REGEX -D_GNU_SOURCE -DHAS_GETOPT_LONG -CFLAGS = -Wall -ansi -pedantic -O3 -CXXFLAGS = $(CFLAGS) -Iport -fno-exceptions -fno-rtti# -I/usr/include/stlport +CFLAGS = -Wall -ansi -pedantic -g +CXXFLAGS = $(CFLAGS) $(CXXOPTFLAGS) -Iport -fno-exceptions -fno-rtti all: real-all debian/gbp.conf0000644000000000000000000000003611563310207010602 0ustar [DEFAULT] pristine-tar = True debian/compat0000644000000000000000000000000211563310207010362 0ustar 7 debian/control0000644000000000000000000000313111563310207010565 0ustar Source: maria Section: science Priority: extra Maintainer: Debian Science Maintainers Uploaders: Ralf Treinen Build-Depends: debhelper (>= 7.0), libreadline-dev, libncurses5-dev, flex, bison Build-Depends-Indep: texinfo, texi2html Standards-Version: 3.9.2 Homepage: http://www.tcs.hut.fi/Software/maria/ Vcs-Git: git://git.debian.org/git/debian-science/packages/maria.git Vcs-Browser: http://git.debian.org/?p=debian-science/packages/maria.git Package: maria Section: math Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Recommends: maria-doc, lbt, graphviz Conflicts: maria-vis Replaces: maria-vis Description: reachability analyzer for Algebraic System Nets Maria is a powerful tool designed to aid engineers in modelling and solving concurrency related problems in parallel and distributed computing systems. . Maria finds deadlocks and violations against safety or liveness requirements by exploring all states that can be reached from the initial state of a system. The tool manages tens or hundreds of millions of reachable states and enabled actions. . The expressive power of Maria's formalism is close to high-level programming languages, thanks to its rich data type system and powerful algebraic operations. Package: maria-doc Section: doc Architecture: all Depends: ${misc:Depends} Recommends: maria, info | info-browser | www-browser Description: documentation of Maria This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html. debian/maria-doc.info0000644000000000000000000000001711563310207011673 0ustar doc/maria.info debian/emacsen-startup0000644000000000000000000000131611563310207012223 0ustar ;; -*-emacs-lisp-*- ;; ;; Emacs startup file for the Debian GNU/Linux maria package ;; ;; Originally contributed by Nils Naumann ;; Modified by Dirk Eddelbuettel ;; Adapted for dh-make by Jim Van Zandt ;; The maria package follows the Debian/GNU Linux 'emacsen' policy and ;; byte-compiles its elisp files for each 'emacs flavor' (emacs19, ;; xemacs19, emacs20, xemacs20...). The compiled code is then ;; installed in a subdirectory of the respective site-lisp directory. ;; We have to add this to the load-path: (setq load-path (cons (concat "/usr/share/" (symbol-name flavor) "/site-lisp/maria") load-path)) debian/emacsen-install0000644000000000000000000000231711563310207012171 0ustar #! /bin/sh -e # /usr/lib/emacsen-common/packages/install/maria # Written by Jim Van Zandt , borrowing heavily # from the install scripts for gettext by Santiago Vila # and octave by Dirk Eddelbuettel . FLAVOR=$1 PACKAGE=maria if [ ${FLAVOR} = emacs ]; then exit 0; fi echo install/${PACKAGE}: Handling install for emacsen flavor ${FLAVOR} #FLAVORTEST=`echo $FLAVOR | cut -c-6` #if [ ${FLAVORTEST} = xemacs ] ; then # SITEFLAG="-no-site-file" #else # SITEFLAG="--no-site-file" #fi FLAGS="${SITEFLAG} -q -batch -l path.el -f batch-byte-compile" ELDIR=/usr/share/emacs/site-lisp/${PACKAGE} ELCDIR=/usr/share/${FLAVOR}/site-lisp/${PACKAGE} # Install-info-altdir does not actually exist. # Maybe somebody will write it. if test -x /usr/sbin/install-info-altdir; then echo install/${PACKAGE}: install Info links for ${FLAVOR} install-info-altdir --quiet --section "" "" --dirname=${FLAVOR} /usr/info/${PACKAGE}.info.gz fi install -m 755 -d ${ELCDIR} cd ${ELDIR} FILES=`echo *.el` cp ${FILES} ${ELCDIR} cd ${ELCDIR} cat << EOF > path.el (setq load-path (cons "." load-path) byte-compile-warnings nil) EOF ${FLAVOR} ${FLAGS} ${FILES} rm -f *.el path.el exit 0 debian/maria-doc.install0000644000000000000000000000011211563310207012402 0ustar doc/maria*.html usr/share/doc/maria-doc/html NEWS usr/share/doc/maria-docdebian/README.examples0000644000000000000000000000233411563310207011663 0ustar How to use these examples ========================= To run the examples included in this directory you need write access to the directory. The best way is to create a copy, say as a subdirectory of the directory : cp -r /usr/share/maria/examples cd /examples gunzip *.gz You can start maria on one of the Petri nets contained in this directory, for instance dining.pn, by typing maria -b dining.pn Note that this may take a *lot* of time for some of the examples provided since a reachability analysis is performed when loading the model. Then, you may issue at the maria shell prompt the following commands (among others): dump to obtain a textual representation of the syntax graph dumpgraph to obtain a textual representation of the reachability graph If the "graphviz" package is installed on your system you may also obtain a graphical output by issuing the following commands: visual dump graphical representation of the syntax graph visual dumpgraph graphical representation of the reachability graph Please refer to the maria documentation (available in the package maria-doc) for more complete documentation. -- Ralf Treinen July 6, 2005.