[SCM] maria packaging branch, master, updated. upstream/1.2-22-gc4c33c2
Ralf Treinen
treinen at free.fr
Fri May 13 19:25:55 UTC 2011
The following commit has been merged in the master branch:
commit d5f3fab245d70f0463bf0eae1003a7b906421a59
Author: Ralf Treinen <treinen at debian.org>
Date: Tue Aug 6 23:15:53 2002 +0200
Imported Debian patch 1.2-0.alpha
diff --git a/debian/TODO b/debian/TODO
new file mode 100644
index 0000000..bac22a0
--- /dev/null
+++ b/debian/TODO
@@ -0,0 +1 @@
+Better installation of emacs mode
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..bb669af
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,6 @@
+maria (1.2-0.alpha) experimental; urgency=low
+
+ * Initial Release.
+
+ -- Ralf Treinen <treinen at debian.org> Tue, 6 Aug 2002 23:15:53 +0200
+
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..62fa9bf
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,48 @@
+Source: maria
+Section: math
+Priority: optional
+Maintainer: Ralf Treinen <treinen at debian.org>
+Build-Depends: debhelper (>> 3.0.0), libreadline4-dev, libncurses5-dev, flex, bison
+Build-Depends-Indep: texinfo, texi2html
+Standards-Version: 3.5.2
+
+Package: maria
+Section: math
+Architecture: any
+Depends: ${shlibs:Depends}
+Recommends: maria-doc, lbt
+Suggests: maria-viz
+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.
+ .
+ If you want to use the graph visualization functionality of Maria then
+ you have to install the maria-vis package from the contrib section.
+
+Package: maria-vis
+Section: contrib/math
+Architecture: all
+Depends: maria, graphviz
+Description: Interface between Maria and Graphviz
+ This script is needed to make Maria, a reachability analyzer for
+ algebraic system nets, interact with graphviz, a non-free software
+ package for the visualisation of graphs.
+
+Package: maria-doc
+Section: doc
+Architecture: all
+Depends:
+Recommends: maria, 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.
\ No newline at end of file
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..40f7a51
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,14 @@
+This package was debianized by Ralf Treinen <treinen at debian.org> 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ä <msmakela at cc.hut.fi>
+
+Copyright:
+
+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 file.
+
diff --git a/debian/emacsen-install b/debian/emacsen-install
new file mode 100644
index 0000000..f11500b
--- /dev/null
+++ b/debian/emacsen-install
@@ -0,0 +1,45 @@
+#! /bin/sh -e
+# /usr/lib/emacsen-common/packages/install/maria
+
+# Written by Jim Van Zandt <jrv at vanzandt.mv.com>, borrowing heavily
+# from the install scripts for gettext by Santiago Vila
+# <sanvila at ctv.es> and octave by Dirk Eddelbuettel <edd at debian.org>.
+
+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
diff --git a/debian/emacsen-remove b/debian/emacsen-remove
new file mode 100644
index 0000000..a6d2ab4
--- /dev/null
+++ b/debian/emacsen-remove
@@ -0,0 +1,15 @@
+#!/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
diff --git a/debian/emacsen-startup b/debian/emacsen-startup
new file mode 100644
index 0000000..da0582e
--- /dev/null
+++ b/debian/emacsen-startup
@@ -0,0 +1,18 @@
+;; -*-emacs-lisp-*-
+;;
+;; Emacs startup file for the Debian GNU/Linux maria package
+;;
+;; Originally contributed by Nils Naumann <naumann at unileoben.ac.at>
+;; Modified by Dirk Eddelbuettel <edd at debian.org>
+;; Adapted for dh-make by Jim Van Zandt <jrv at vanzandt.mv.com>
+
+;; 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))
+
+
diff --git a/debian/maria-doc.dirs b/debian/maria-doc.dirs
new file mode 100644
index 0000000..0d0d822
--- /dev/null
+++ b/debian/maria-doc.dirs
@@ -0,0 +1 @@
+usr/share/doc/maria-doc/html
diff --git a/debian/maria-doc.doc-base b/debian/maria-doc.doc-base
new file mode 100644
index 0000000..6f589f7
--- /dev/null
+++ b/debian/maria-doc.doc-base
@@ -0,0 +1,9 @@
+Document: maria-doc
+Title: Maria Manual
+Authors: Marko Mäkelä
+Abstract: This manual describes how to use maria.
+Section: math
+
+Format: HTML
+Index: /usr/share/doc/maria-doc/html/maria.html
+Files: /usr/share/doc/maria-doc/html/*.html
diff --git a/debian/maria-doc.install b/debian/maria-doc.install
new file mode 100644
index 0000000..22e8fb8
--- /dev/null
+++ b/debian/maria-doc.install
@@ -0,0 +1 @@
+doc/*.html usr/share/doc/maria-doc/html
diff --git a/debian/maria-vis.dirs b/debian/maria-vis.dirs
new file mode 100644
index 0000000..98d1583
--- /dev/null
+++ b/debian/maria-vis.dirs
@@ -0,0 +1,2 @@
+usr/bin
+usr/share/man/man1
diff --git a/debian/maria-vis.install b/debian/maria-vis.install
new file mode 100644
index 0000000..8862ee1
--- /dev/null
+++ b/debian/maria-vis.install
@@ -0,0 +1,2 @@
+maria-vis usr/bin
+maria-vis.1 usr/share/man/man1
\ No newline at end of file
diff --git a/debian/maria.dirs b/debian/maria.dirs
new file mode 100644
index 0000000..cb9974b
--- /dev/null
+++ b/debian/maria.dirs
@@ -0,0 +1,3 @@
+usr/bin
+usr/share/emacs/site-lisp/maria
+usr/share/doc/maria/examples
diff --git a/debian/maria.install b/debian/maria.install
new file mode 100644
index 0000000..2ba3089
--- /dev/null
+++ b/debian/maria.install
@@ -0,0 +1 @@
+elisp/* usr/share/emacs/site-lisp/maria
\ No newline at end of file
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..36c5a78
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,96 @@
+#!/usr/bin/make -f
+# rules for maria
+
+#export DH_VERBOSE=1
+export DH_COMPAT=3
+export MAKE=make -f Makefile.Linux
+
+ifneq (,$(findstring debug,$(DEB_BUILD_OPTIONS)))
+ CFLAGS += -g
+endif
+ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
+ INSTALL_PROGRAM += -s
+endif
+
+build-arch: build-stamp-arch
+
+build-stamp-arch:
+ dh_testdir
+ $(MAKE)
+ touch build-stamp-arch
+
+build-indep: build-stamp-indep
+
+build-stamp-indep:
+ dh_testdir
+ cd doc \
+ && makeinfo maria.texinfo \
+ && texi2html -split chapter maria.texinfo
+ touch build-stamp-indep
+
+build: build-arch build-indep
+
+clean:
+ dh_testdir
+ dh_testroot
+ rm -f build-stamp-arch build-stamp-indep
+ -$(MAKE) reallyclean
+ cd doc && rm -f maria.info maria.info-* maria*.html
+ dh_clean
+
+install-indep: build-indep
+ dh_testdir -i
+ dh_testroot -i
+ dh_clean -k
+ dh_installdirs -i
+ dh_install -i
+
+install-arch: build-arch
+ dh_testdir -a
+ dh_testroot -a
+ dh_clean -k
+ dh_installdirs -a
+ dh_install -a
+ $(MAKE) install DESTDIR=$(CURDIR)/debian/maria \
+ EXDIR=$(CURDIR)/debian/maria/usr/share/doc/maria/examples
+ # the maria-vis executable goes into the maria-vis package
+ -rm $(CURDIR)/debian/maria/usr/bin/maria-vis
+ $(MAKE) installman DESTDIR=$(CURDIR)/debian/maria
+ # the man page for maria-vis goes into the maria-vis package
+ -rm $(CURDIR)/debian/maria/usr/share/man/man1/maria-vis.1
+ # the examples go into maria-doc
+ -rm -r $(CURDIR)/debian/maria/usr/share/maria/examples
+
+binary-indep: build-indep install-indep
+ dh_testdir -i
+ dh_testroot -i
+ dh_installdocs -i
+ dh_installinfo -pmaria-doc doc/maria.info doc/maria.info-*
+ 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: build-arch install-arch
+ dh_testdir -a
+ dh_testroot -a
+ dh_installexamples -a
+ dh_installemacsen -a
+ dh_installchangelogs -a
+ dh_installdocs -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
diff --git a/depend b/depend
index 3fad189..3046662 100644
--- a/depend
+++ b/depend
@@ -62,11 +62,12 @@ Expression/Expression.o: Expression/Mapping.h Expression/EmptySet.h
Expression/Expression.o: Automata/Property.h Automata/PropertyState.h
Expression/Expression.o: Automata/BitVector.h Value/LeafValue.h
Expression/Expression.o: Expression/ExpressionSet.h
+Expression/Expression.o: Compilation/base/CExpression.h parser/StringBuffer.h
Expression/Typecast.o: Expression/Typecast.h Expression/Expression.h
Expression/Typecast.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Typecast.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Typecast.o: Value/Error.h Value/LeafValue.h parser/Printer.h
-Expression/Typecast.o: parser/StringBuffer.h
+Expression/Typecast.o: parser/StringBuffer.h Compilation/base/CExpression.h
Expression/Variable.o: Expression/Variable.h Expression/Expression.h
Expression/Variable.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Variable.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -74,14 +75,17 @@ Expression/Variable.o: Value/Error.h Net/VariableDefinition.h
Expression/Variable.o: Expression/VariableSet.h Expression/Constant.h
Expression/Variable.o: Expression/Substitution.h parser/Printer.h
Expression/Variable.o: parser/StringBuffer.h Net/Transition.h
+Expression/Variable.o: Compilation/base/CExpression.h
Expression/Constant.o: Expression/Constant.h Expression/Expression.h
Expression/Constant.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Constant.o: Type/Constraint.h Value/Value.h Value/Valuation.h
-Expression/Constant.o: Value/Error.h
+Expression/Constant.o: Value/Error.h Compilation/base/CExpression.h
+Expression/Constant.o: parser/StringBuffer.h
Expression/Undefined.o: Expression/Undefined.h Expression/Expression.h
Expression/Undefined.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Undefined.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Undefined.o: Value/Error.h parser/Printer.h parser/StringBuffer.h
+Expression/Undefined.o: Compilation/base/CExpression.h
Expression/StructExpression.o: Expression/StructExpression.h
Expression/StructExpression.o: Expression/Expression.h Type/Type.h
Expression/StructExpression.o: parser/util.h Type/typedefs.h
@@ -90,6 +94,7 @@ Expression/StructExpression.o: Value/Valuation.h Value/Error.h
Expression/StructExpression.o: Type/StructType.h Type/ComponentList.h
Expression/StructExpression.o: Value/StructValue.h Value/ValueList.h
Expression/StructExpression.o: parser/Printer.h parser/StringBuffer.h
+Expression/StructExpression.o: Compilation/base/CExpression.h
Expression/StructComponent.o: Expression/StructComponent.h
Expression/StructComponent.o: Expression/Expression.h Type/Type.h
Expression/StructComponent.o: parser/util.h Type/typedefs.h Type/Constraint.h
@@ -97,6 +102,7 @@ Expression/StructComponent.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/StructComponent.o: Type/StructType.h Type/ComponentList.h
Expression/StructComponent.o: Value/StructValue.h Value/ValueList.h
Expression/StructComponent.o: parser/Printer.h parser/StringBuffer.h
+Expression/StructComponent.o: Compilation/base/CExpression.h
Expression/StructAssign.o: Expression/StructAssign.h Expression/Expression.h
Expression/StructAssign.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/StructAssign.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -104,6 +110,7 @@ Expression/StructAssign.o: Value/Error.h Type/StructType.h
Expression/StructAssign.o: Type/ComponentList.h Value/StructValue.h
Expression/StructAssign.o: Value/ValueList.h parser/Printer.h
Expression/StructAssign.o: parser/StringBuffer.h
+Expression/StructAssign.o: Compilation/base/CExpression.h
Expression/UnionExpression.o: Expression/UnionExpression.h
Expression/UnionExpression.o: Expression/Expression.h Type/Type.h
Expression/UnionExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
@@ -111,6 +118,7 @@ Expression/UnionExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnionExpression.o: Type/UnionType.h Type/ComponentList.h
Expression/UnionExpression.o: Value/UnionValue.h parser/Printer.h
Expression/UnionExpression.o: parser/StringBuffer.h
+Expression/UnionExpression.o: Compilation/base/CExpression.h
Expression/UnionComponent.o: Expression/UnionComponent.h
Expression/UnionComponent.o: Expression/Expression.h Type/Type.h
Expression/UnionComponent.o: parser/util.h Type/typedefs.h Type/Constraint.h
@@ -118,6 +126,7 @@ Expression/UnionComponent.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnionComponent.o: Type/UnionType.h Type/ComponentList.h
Expression/UnionComponent.o: Value/UnionValue.h parser/Printer.h
Expression/UnionComponent.o: parser/StringBuffer.h
+Expression/UnionComponent.o: Compilation/base/CExpression.h
Expression/UnionTypeExpression.o: Expression/UnionTypeExpression.h
Expression/UnionTypeExpression.o: Expression/Expression.h Type/Type.h
Expression/UnionTypeExpression.o: parser/util.h Type/typedefs.h
@@ -127,6 +136,7 @@ Expression/UnionTypeExpression.o: Type/UnionType.h Type/ComponentList.h
Expression/UnionTypeExpression.o: Value/UnionValue.h Type/BoolType.h
Expression/UnionTypeExpression.o: Value/LeafValue.h Net/Net.h
Expression/UnionTypeExpression.o: parser/Printer.h parser/StringBuffer.h
+Expression/UnionTypeExpression.o: Compilation/base/CExpression.h
Expression/VectorExpression.o: Expression/VectorExpression.h
Expression/VectorExpression.o: Expression/Expression.h Type/Type.h
Expression/VectorExpression.o: parser/util.h Type/typedefs.h
@@ -135,30 +145,38 @@ Expression/VectorExpression.o: Value/Valuation.h Value/Error.h
Expression/VectorExpression.o: Type/VectorType.h Value/VectorValue.h
Expression/VectorExpression.o: Value/ValueList.h parser/Printer.h
Expression/VectorExpression.o: parser/StringBuffer.h
+Expression/VectorExpression.o: Compilation/base/CExpression.h
Expression/VectorIndex.o: Expression/VectorIndex.h Expression/Expression.h
Expression/VectorIndex.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/VectorIndex.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorIndex.o: Value/Error.h Type/VectorType.h Value/VectorValue.h
Expression/VectorIndex.o: Value/ValueList.h Net/VariableDefinition.h
Expression/VectorIndex.o: parser/Printer.h parser/StringBuffer.h
+Expression/VectorIndex.o: Compilation/base/CExpression.h
+Expression/VectorIndex.o: Expression/Constant.h
Expression/VectorAssign.o: Expression/VectorAssign.h Expression/Expression.h
Expression/VectorAssign.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/VectorAssign.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorAssign.o: Value/Error.h Value/VectorValue.h
Expression/VectorAssign.o: Value/ValueList.h Type/VectorType.h
Expression/VectorAssign.o: parser/Printer.h parser/StringBuffer.h
+Expression/VectorAssign.o: Compilation/base/CExpression.h
+Expression/VectorAssign.o: Expression/Constant.h
Expression/VectorShift.o: Expression/VectorShift.h Expression/Expression.h
Expression/VectorShift.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/VectorShift.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorShift.o: Value/Error.h Value/VectorValue.h Value/ValueList.h
Expression/VectorShift.o: Value/LeafValue.h Type/VectorType.h
Expression/VectorShift.o: parser/Printer.h parser/StringBuffer.h
+Expression/VectorShift.o: Compilation/base/CExpression.h
+Expression/VectorShift.o: Expression/Constant.h Net/Net.h Type/CardType.h
Expression/UnopExpression.o: Expression/UnopExpression.h
Expression/UnopExpression.o: Expression/Expression.h Type/Type.h
Expression/UnopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
Expression/UnopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnopExpression.o: Type/IntType.h Type/CardType.h Value/LeafValue.h
Expression/UnopExpression.o: Net/Net.h parser/Printer.h parser/StringBuffer.h
+Expression/UnopExpression.o: Compilation/base/CExpression.h
Expression/BinopExpression.o: Expression/BinopExpression.h
Expression/BinopExpression.o: Expression/Expression.h Type/Type.h
Expression/BinopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
@@ -166,6 +184,8 @@ Expression/BinopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/BinopExpression.o: Type/IntType.h Type/CardType.h
Expression/BinopExpression.o: Value/LeafValue.h Net/Net.h parser/Printer.h
Expression/BinopExpression.o: parser/StringBuffer.h
+Expression/BinopExpression.o: Compilation/base/CExpression.h
+Expression/BinopExpression.o: Expression/Constant.h
Expression/BufferExpression.o: Expression/BufferExpression.h
Expression/BufferExpression.o: Expression/Expression.h Type/Type.h
Expression/BufferExpression.o: parser/util.h Type/typedefs.h
@@ -174,19 +194,23 @@ Expression/BufferExpression.o: Value/Valuation.h Value/Error.h
Expression/BufferExpression.o: Type/BufferType.h Value/BufferValue.h
Expression/BufferExpression.o: Value/ValueList.h parser/Printer.h
Expression/BufferExpression.o: parser/StringBuffer.h
+Expression/BufferExpression.o: Compilation/base/CExpression.h
Expression/BufferWrite.o: Expression/BufferWrite.h Expression/Expression.h
Expression/BufferWrite.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BufferWrite.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferWrite.o: Value/Error.h Type/BufferType.h Value/BufferValue.h
Expression/BufferWrite.o: Value/ValueList.h Value/LeafValue.h
Expression/BufferWrite.o: parser/Printer.h parser/StringBuffer.h
+Expression/BufferWrite.o: Compilation/base/CExpression.h
+Expression/BufferWrite.o: Expression/Constant.h
Expression/BufferUnop.o: Expression/BufferUnop.h Expression/Expression.h
Expression/BufferUnop.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BufferUnop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferUnop.o: Value/Error.h Type/BufferType.h Value/BufferValue.h
Expression/BufferUnop.o: Value/ValueList.h Net/Net.h Type/CardType.h
Expression/BufferUnop.o: Value/LeafValue.h parser/Printer.h
-Expression/BufferUnop.o: parser/StringBuffer.h
+Expression/BufferUnop.o: parser/StringBuffer.h Compilation/base/CExpression.h
+Expression/BufferUnop.o: Expression/Constant.h
Expression/BufferRemove.o: Expression/BufferRemove.h Expression/Expression.h
Expression/BufferRemove.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BufferRemove.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -194,6 +218,8 @@ Expression/BufferRemove.o: Value/Error.h Type/BufferType.h
Expression/BufferRemove.o: Value/BufferValue.h Value/ValueList.h Net/Net.h
Expression/BufferRemove.o: Type/CardType.h Value/LeafValue.h parser/Printer.h
Expression/BufferRemove.o: parser/StringBuffer.h
+Expression/BufferRemove.o: Compilation/base/CExpression.h
+Expression/BufferRemove.o: Expression/Constant.h
Expression/BufferIndex.o: Expression/BufferIndex.h Expression/Expression.h
Expression/BufferIndex.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BufferIndex.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -203,6 +229,7 @@ Expression/IfThenElse.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/IfThenElse.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/IfThenElse.o: Value/Error.h Expression/ExpressionList.h
Expression/IfThenElse.o: parser/Printer.h parser/StringBuffer.h
+Expression/IfThenElse.o: Compilation/base/CExpression.h
Expression/BooleanBinop.o: Expression/BooleanBinop.h Expression/Expression.h
Expression/BooleanBinop.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BooleanBinop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -212,6 +239,7 @@ Expression/BooleanBinop.o: Expression/NotExpression.h
Expression/BooleanBinop.o: Net/VariableDefinition.h Automata/Property.h
Expression/BooleanBinop.o: Automata/PropertyState.h Automata/BitVector.h
Expression/BooleanBinop.o: parser/Printer.h parser/StringBuffer.h
+Expression/BooleanBinop.o: Compilation/base/CExpression.h
Expression/NotExpression.o: Expression/NotExpression.h
Expression/NotExpression.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/NotExpression.o: Type/typedefs.h Type/Constraint.h Value/Value.h
@@ -219,6 +247,7 @@ Expression/NotExpression.o: Value/Valuation.h Value/Error.h Value/LeafValue.h
Expression/NotExpression.o: Expression/Constant.h Automata/Property.h
Expression/NotExpression.o: Automata/PropertyState.h Automata/BitVector.h
Expression/NotExpression.o: parser/Printer.h parser/StringBuffer.h
+Expression/NotExpression.o: Compilation/base/CExpression.h
Expression/RelopExpression.o: Expression/RelopExpression.h
Expression/RelopExpression.o: Expression/Expression.h Type/Type.h
Expression/RelopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
@@ -226,6 +255,7 @@ Expression/RelopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/RelopExpression.o: Net/Net.h Type/BoolType.h Value/LeafValue.h
Expression/RelopExpression.o: Expression/Constant.h parser/Printer.h
Expression/RelopExpression.o: parser/StringBuffer.h
+Expression/RelopExpression.o: Compilation/base/CExpression.h
Expression/SetExpression.o: Expression/SetExpression.h
Expression/SetExpression.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/SetExpression.o: Type/typedefs.h Type/Constraint.h Value/Value.h
@@ -233,6 +263,7 @@ Expression/SetExpression.o: Value/Valuation.h Value/Error.h Net/Net.h
Expression/SetExpression.o: Type/BoolType.h Value/LeafValue.h
Expression/SetExpression.o: Net/PlaceMarking.h parser/Printer.h
Expression/SetExpression.o: parser/StringBuffer.h
+Expression/SetExpression.o: Compilation/base/CExpression.h
Expression/TemporalUnop.o: Expression/TemporalUnop.h Expression/Expression.h
Expression/TemporalUnop.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/TemporalUnop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -256,6 +287,8 @@ Expression/CardinalityExpression.o: Expression/Marking.h Net/PlaceMarking.h
Expression/CardinalityExpression.o: Net/Net.h Type/CardType.h
Expression/CardinalityExpression.o: Value/LeafValue.h parser/Printer.h
Expression/CardinalityExpression.o: parser/StringBuffer.h
+Expression/CardinalityExpression.o: Compilation/base/CExpression.h
+Expression/CardinalityExpression.o: Expression/PlaceContents.h Net/Place.h
Expression/TransitionQualifier.o: Expression/TransitionQualifier.h
Expression/TransitionQualifier.o: Expression/Expression.h Type/Type.h
Expression/TransitionQualifier.o: parser/util.h Type/typedefs.h
@@ -269,6 +302,7 @@ Expression/PlaceContents.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Expression/PlaceContents.o: Value/Valuation.h Value/Error.h Net/Place.h
Expression/PlaceContents.o: Net/GlobalMarking.h Net/PlaceMarking.h
Expression/PlaceContents.o: parser/Printer.h parser/StringBuffer.h
+Expression/PlaceContents.o: Compilation/base/CExpression.h
Expression/Submarking.o: Expression/Submarking.h Expression/Expression.h
Expression/Submarking.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Submarking.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -276,6 +310,7 @@ Expression/Submarking.o: Value/Error.h Net/VariableDefinition.h
Expression/Submarking.o: Net/PlaceMarking.h Expression/Substitution.h
Expression/Submarking.o: Expression/Variable.h Value/LeafValue.h
Expression/Submarking.o: parser/Printer.h parser/StringBuffer.h
+Expression/Submarking.o: Compilation/base/CExpression.h
Expression/Mapping.o: Expression/Mapping.h Expression/Expression.h
Expression/Mapping.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Mapping.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -283,7 +318,9 @@ Expression/Mapping.o: Value/Error.h Expression/Marking.h
Expression/Mapping.o: Net/VariableDefinition.h Net/PlaceMarking.h
Expression/Mapping.o: Value/LeafValue.h Expression/Substitution.h
Expression/Mapping.o: Expression/Variable.h parser/Printer.h
-Expression/Mapping.o: parser/StringBuffer.h
+Expression/Mapping.o: parser/StringBuffer.h Compilation/base/CExpression.h
+Expression/Mapping.o: Expression/Constant.h Expression/PlaceContents.h
+Expression/Mapping.o: Net/Place.h
Expression/EmptySet.o: Expression/EmptySet.h Expression/Expression.h
Expression/EmptySet.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/EmptySet.o: Type/Constraint.h Value/Value.h Value/Valuation.h
@@ -303,7 +340,7 @@ Expression/Marking.o: Type/CardType.h Expression/ExpressionList.h
Expression/Marking.o: Expression/IfThenElse.h Expression/Typecast.h
Expression/Marking.o: Net/VariableDefinition.h Expression/ExpressionMSet.h
Expression/Marking.o: Expression/EmptySet.h parser/Printer.h
-Expression/Marking.o: parser/StringBuffer.h
+Expression/Marking.o: parser/StringBuffer.h Compilation/base/CExpression.h
Expression/Token.o: Expression/Token.h Net/GlobalMarking.h Net/PlaceMarking.h
Expression/Token.o: Value/Value.h Type/typedefs.h Expression/Marking.h
Expression/Token.o: Expression/Expression.h Type/Type.h parser/util.h
@@ -328,6 +365,7 @@ Net/Net.o: Expression/PlaceContents.h Value/LeafValue.h
Net/Net.o: Expression/Quantifier.h parser/Printer.h parser/StringBuffer.h
Net/Net.o: Graph/StateSet.h Graph/StateList.h Automata/Property.h
Net/Net.o: Automata/PropertyState.h Automata/BitVector.h parser/Dotty.h
+Net/Net.o: Compilation/base/Compilation.h Compilation/base/CExpression.h
Net/Place.o: Net/Place.h Type/typedefs.h Type/Constraint.h Net/Arc.h
Net/Place.o: Expression/Marking.h Expression/Expression.h Type/Type.h
Net/Place.o: parser/util.h Value/Value.h Value/Valuation.h Value/Error.h
@@ -347,7 +385,7 @@ Net/Transition.o: Graph/StateReporter.h Graph/BitBuffer.h Graph/Search.h
Net/Transition.o: Graph/Graph.h Graph/file.h Net/Net.h Net/LNet.h
Net/Transition.o: Automata/BitVector.h Expression/Variable.h
Net/Transition.o: Expression/PlaceContents.h Automata/Property.h
-Net/Transition.o: Automata/PropertyState.h
+Net/Transition.o: Automata/PropertyState.h Compilation/base/CExpression.h
Net/Arc.o: Net/Arc.h Expression/Marking.h Expression/Expression.h Type/Type.h
Net/Arc.o: parser/util.h Type/typedefs.h Type/Constraint.h Value/Value.h
Net/Arc.o: Value/Valuation.h Value/Error.h
@@ -366,19 +404,20 @@ Net/VariableDefinition.o: Type/ComponentList.h Value/StructValue.h
Net/VariableDefinition.o: Type/UnionType.h Value/UnionValue.h
Type/Type.o: Type/UnionType.h Type/ComponentList.h Type/Type.h parser/util.h
Type/Type.o: Type/typedefs.h Type/Constraint.h Type/Range.h Value/Value.h
-Type/Type.o: parser/Printer.h parser/StringBuffer.h
+Type/Type.o: parser/Printer.h parser/StringBuffer.h Net/Net.h
+Type/Type.o: Compilation/base/CExpression.h Value/Error.h
Type/IntType.o: Type/IntType.h Type/Type.h parser/util.h Type/typedefs.h
Type/IntType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
-Type/IntType.o: Type/Range.h
+Type/IntType.o: Type/Range.h parser/StringBuffer.h
Type/CardType.o: Type/CardType.h Type/Type.h parser/util.h Type/typedefs.h
Type/CardType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
-Type/CardType.o: Type/Range.h
+Type/CardType.o: Type/Range.h parser/StringBuffer.h
Type/BoolType.o: Type/BoolType.h Type/Type.h parser/util.h Type/typedefs.h
Type/BoolType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
-Type/BoolType.o: Type/Range.h
+Type/BoolType.o: Type/Range.h parser/StringBuffer.h
Type/CharType.o: Type/CharType.h Type/Type.h parser/util.h Type/typedefs.h
Type/CharType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
-Type/CharType.o: Type/Range.h
+Type/CharType.o: Type/Range.h parser/StringBuffer.h
Type/EnumType.o: Type/EnumType.h Type/Type.h parser/util.h Type/typedefs.h
Type/EnumType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
Type/EnumType.o: parser/Printer.h parser/StringBuffer.h
@@ -389,25 +428,30 @@ Type/StructType.o: Type/StructType.h Type/ComponentList.h Type/Type.h
Type/StructType.o: parser/util.h Type/typedefs.h Value/StructValue.h
Type/StructType.o: Value/Value.h Value/ValueList.h Type/Constraint.h
Type/StructType.o: parser/Printer.h parser/StringBuffer.h
+Type/StructType.o: Compilation/base/CExpression.h Value/Error.h
Type/UnionType.o: Type/UnionType.h Type/ComponentList.h Type/Type.h
Type/UnionType.o: parser/util.h Type/typedefs.h Value/UnionValue.h
Type/UnionType.o: Value/Value.h Type/Constraint.h parser/Printer.h
-Type/UnionType.o: parser/StringBuffer.h
+Type/UnionType.o: parser/StringBuffer.h Compilation/base/CExpression.h
+Type/UnionType.o: Value/Error.h
Type/VectorType.o: Type/VectorType.h Type/Type.h parser/util.h
Type/VectorType.o: Type/typedefs.h Value/VectorValue.h Value/Value.h
Type/VectorType.o: Value/ValueList.h Type/Constraint.h parser/Printer.h
-Type/VectorType.o: parser/StringBuffer.h
+Type/VectorType.o: parser/StringBuffer.h Compilation/base/CExpression.h
+Type/VectorType.o: Value/Error.h
Type/BufferType.o: Type/BufferType.h Type/Type.h parser/util.h
Type/BufferType.o: Type/typedefs.h Value/BufferValue.h Value/Value.h
Type/BufferType.o: Value/ValueList.h Type/Constraint.h parser/Printer.h
-Type/BufferType.o: parser/StringBuffer.h
+Type/BufferType.o: parser/StringBuffer.h Compilation/base/CExpression.h
+Type/BufferType.o: Value/Error.h
Type/ComponentList.o: Type/ComponentList.h Type/Type.h parser/util.h
Type/ComponentList.o: Type/typedefs.h parser/Printer.h parser/StringBuffer.h
Type/Range.o: Type/Range.h Value/Value.h Type/typedefs.h parser/Printer.h
Type/Range.o: parser/StringBuffer.h
Type/Constraint.o: Type/Constraint.h Type/typedefs.h Type/Range.h
Type/Constraint.o: Value/Value.h Type/Type.h parser/util.h parser/Printer.h
-Type/Constraint.o: parser/StringBuffer.h
+Type/Constraint.o: parser/StringBuffer.h Compilation/base/CExpression.h
+Type/Constraint.o: Value/Error.h
Value/Value.o: Value/allValues.h Value/LeafValue.h Value/Value.h
Value/Value.o: Type/typedefs.h Value/StructValue.h Value/ValueList.h
Value/Value.o: Value/UnionValue.h Value/VectorValue.h Value/BufferValue.h
@@ -462,6 +506,8 @@ Graph/StateReporter.o: Graph/file.h Net/Net.h parser/util.h Net/Transition.h
Graph/StateReporter.o: Value/Error.h Value/Valuation.h Net/GlobalMarking.h
Graph/StateReporter.o: Net/PlaceMarking.h Value/Value.h Graph/FullSet.h
Graph/StateReporter.o: Graph/StateSet.h Graph/StateList.h
+Graph/StateReporter.o: Compilation/base/Compilation.h parser/Printer.h
+Graph/StateReporter.o: parser/StringBuffer.h
Graph/StateSetReporter.o: Graph/StateSetReporter.h Graph/StateReporter.h
Graph/StateSetReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/StateSet.h
Graph/StateSetReporter.o: Graph/StateList.h Graph/Graph.h Graph/file.h
@@ -471,6 +517,7 @@ Graph/StateSetReporter.o: Net/PlaceMarking.h Value/Value.h
Graph/StateSetReporter.o: Automata/Property.h Automata/PropertyState.h
Graph/StateSetReporter.o: Automata/BitVector.h parser/Printer.h
Graph/StateSetReporter.o: parser/StringBuffer.h parser/Dotty.h
+Graph/StateSetReporter.o: Compilation/base/Compilation.h
Graph/GraphReporter.o: Graph/GraphReporter.h Graph/StateReporter.h
Graph/GraphReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/Search.h
Graph/GraphReporter.o: Graph/Graph.h Graph/file.h Net/Net.h parser/util.h
@@ -478,6 +525,7 @@ Graph/GraphReporter.o: Net/Transition.h Value/Error.h Value/Valuation.h
Graph/GraphReporter.o: parser/Printer.h parser/StringBuffer.h Graph/LSTS.h
Graph/GraphReporter.o: Automata/PropertyState.h Net/GlobalMarking.h
Graph/GraphReporter.o: Net/PlaceMarking.h Value/Value.h
+Graph/GraphReporter.o: Compilation/base/Compilation.h
Graph/DummyReporter.o: Graph/DummyReporter.h Graph/StateReporter.h
Graph/DummyReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/Search.h
Graph/StateSet.o: Graph/FullSet.h Graph/StateSet.h Graph/StateList.h
@@ -502,6 +550,7 @@ Graph/LSTS.o: Value/Value.h Net/Net.h parser/util.h Net/Transition.h
Graph/LSTS.o: Value/Error.h Value/Valuation.h Net/VariableDefinition.h
Graph/LSTS.o: Expression/Expression.h Type/Type.h Type/Constraint.h
Graph/LSTS.o: parser/Printer.h parser/StringBuffer.h
+Graph/LSTS.o: Compilation/base/Compilation.h
Automata/Property.o: Automata/Property.h Automata/PropertyState.h
Automata/Property.o: Automata/BitVector.h Expression/Constant.h
Automata/Property.o: Expression/Expression.h Type/Type.h parser/util.h
@@ -514,6 +563,8 @@ Automata/PropertyState.o: Expression/Expression.h Type/Type.h parser/util.h
Automata/PropertyState.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Automata/PropertyState.o: Value/Valuation.h Value/Error.h
Automata/PropertyState.o: Automata/BitVector.h Value/LeafValue.h
+Automata/PropertyState.o: Compilation/base/CExpression.h
+Automata/PropertyState.o: parser/StringBuffer.h
Automata/BitVector.o: Automata/BitVector.h
Automata/SetList.o: Automata/SetList.h Automata/BitVector.h
Automata/Product.o: Automata/Product.h Type/typedefs.h Automata/Property.h
@@ -524,10 +575,28 @@ Automata/Product.o: Graph/Graph.h Graph/BitBuffer.h Graph/file.h
Automata/Product.o: Graph/GraphReporter.h Graph/StateReporter.h
Automata/Product.o: Graph/Search.h parser/Printer.h parser/StringBuffer.h
Automata/Product.o: Net/Transition.h Automata/SetList.h
-parser/maria.o: parser/version.h parser/Dotty.h Type/typedefs.h
-parser/maria.o: Expression/Expression.h Type/Type.h parser/util.h
-parser/maria.o: Type/Constraint.h Value/Value.h Value/Valuation.h
-parser/maria.o: Value/Error.h Net/GlobalMarking.h Net/PlaceMarking.h
+Compilation/base/CExpression.o: Compilation/base/CExpression.h
+Compilation/base/CExpression.o: parser/StringBuffer.h Value/Error.h
+Compilation/base/CExpression.o: Expression/Variable.h Expression/Expression.h
+Compilation/base/CExpression.o: Type/Type.h parser/util.h Type/typedefs.h
+Compilation/base/CExpression.o: Type/Constraint.h Value/Value.h
+Compilation/base/CExpression.o: Value/Valuation.h Net/VariableDefinition.h
+Compilation/base/CExpression.o: Expression/PlaceContents.h Net/Net.h
+Compilation/base/CExpression.o: Net/Transition.h Net/Place.h
+Compilation/base/CExpression.o: Expression/Constant.h
+Compilation/base/Compilation.o: Compilation/base/Compilation.h Value/Error.h
+Compilation/base/Compilation.o: Net/Net.h parser/util.h Type/typedefs.h
+Compilation/base/Compilation.o: Net/Place.h Net/Transition.h Type/Type.h
+Compilation/base/Compilation.o: Compilation/base/CExpression.h
+Compilation/base/Compilation.o: parser/StringBuffer.h Expression/Marking.h
+Compilation/base/Compilation.o: Expression/Expression.h Type/Constraint.h
+Compilation/base/Compilation.o: Value/Value.h Value/Valuation.h
+Compilation/base/Compilation.o: Graph/BitBuffer.h Automata/Property.h
+Compilation/base/Compilation.o: Automata/PropertyState.h Automata/BitVector.h
+parser/maria.o: Compilation/base/Compilation.h Value/Error.h parser/version.h
+parser/maria.o: parser/Dotty.h Type/typedefs.h Expression/Expression.h
+parser/maria.o: Type/Type.h parser/util.h Type/Constraint.h Value/Value.h
+parser/maria.o: Value/Valuation.h Net/GlobalMarking.h Net/PlaceMarking.h
parser/maria.o: Net/Transition.h Graph/Search.h parser/server.h
parser/maria.o: parser/NameList.h parser/Printer.h parser/StringBuffer.h
parser/maria.o: Net/Net.h Graph/Graph.h Graph/BitBuffer.h Graph/file.h
diff --git a/maria-vis b/maria-vis
index 3790d2d..0351bd3 100755
--- a/maria-vis
+++ b/maria-vis
@@ -1,4 +1,4 @@
-#!/usr/local/bin/lefty
+#!/usr/bin/lefty
load ('dotty.lefty');
checkpath = function () {
if (tablesize (dotty) > 0) {
--
maria packaging
More information about the debian-science-commits
mailing list