[SCM] mona packaging branch, master, updated. upstream/1.4-2-17-g7d5620d
Ralf Treinen
treinen at free.fr
Wed May 11 20:25:59 UTC 2011
The following commit has been merged in the master branch:
commit 0308f46b5d708888ce1ed1ee5dd83e356d4fa395
Author: Ralf Treinen <treinen at debian.org>
Date: Mon Oct 23 20:25:27 2000 +0200
Imported Debian patch 1.4-2-1
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..3cb14e9
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,10 @@
+mona (1.4-2-1) unstable; urgency=low
+
+ * Initial Release.
+
+ -- Ralf Treinen <treinen at debian.org> Mon, 23 Oct 2000 20:25:27 +0200
+
+Local variables:
+mode: debian-changelog
+add-log-mailing-address "treinen at debian.org"
+End:
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..4db94f5
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,21 @@
+Source: mona
+Section: misc
+Priority: optional
+Maintainer: Ralf Treinen <treinen at debian.org>
+Build-Depends: debhelper, g++, bison, flex
+Standards-Version: 3.1.1
+
+Package: mona
+Suggests: graphviz
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: a theorem prover based on automata
+ MONA is a tool that translates formulas in the logics WS1S or WS2S
+ into finite-state automata represented by BDDs. The formulas may
+ express search patterns, temporal properties of reactive systems,
+ parse tree constraints, etc. MONA also analyses the automaton
+ resulting from the compilation, and determines whether the formula is
+ valid and, if the formula is not valid, generates a counter-example.
+ .
+ Due to copyright restrictions, documentation is currently only available
+ from the mona website.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..4c51005
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,24 @@
+This package was debianized by Ralf Treinen <treinen at debian.org> on
+Mon, 23 Oct 2000 20:25:27 +0200.
+
+It was downloaded from http://www.brics.dk/mona/download
+
+Upstream Authors:
+ The MONA Project
+ BRICS
+ Department of Computer Science
+ University of Aarhus
+ Ny Munkegade, Bldg. 540
+ DK-8000 Aarhus C
+ Denmark
+ http://www.brics.de/mona
+
+Copyright: Copyright (C) 1997-2000 BRICS, with the exception of
+the memory allocation code in Mem/dlmalloc.* which is in the
+public domain (see the note at the beginning of Mem/dlmalloc.h).
+
+You are free to distribute this software under the terms of
+the GNU General Public License.
+On Debian systems, the complete text of the GNU General Public
+License can be found in /usr/share/common-licenses/GPL file.
+
diff --git a/debian/dirs b/debian/dirs
new file mode 100644
index 0000000..acbf425
--- /dev/null
+++ b/debian/dirs
@@ -0,0 +1,2 @@
+usr/bin
+usr/share/emacs/site-lisp/mona
diff --git a/debian/docs b/debian/docs
new file mode 100644
index 0000000..e845566
--- /dev/null
+++ b/debian/docs
@@ -0,0 +1 @@
+README
diff --git a/debian/emacsen-install b/debian/emacsen-install
new file mode 100644
index 0000000..d9b8333
--- /dev/null
+++ b/debian/emacsen-install
@@ -0,0 +1,45 @@
+#! /bin/sh -e
+# /usr/lib/emacsen-common/packages/install/mona
+
+# 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=mona
+
+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..6e2dd7f
--- /dev/null
+++ b/debian/emacsen-remove
@@ -0,0 +1,15 @@
+#!/bin/sh -e
+# /usr/lib/emacsen-common/packages/remove/mona
+
+FLAVOR=$1
+PACKAGE=mona
+
+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/mona-1.4.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..9c1a6de
--- /dev/null
+++ b/debian/emacsen-startup
@@ -0,0 +1,18 @@
+;; -*-emacs-lisp-*-
+;;
+;; Emacs startup file for the Debian GNU/Linux mona-1.4 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 mona-1.4 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/mona") load-path))
+
+
diff --git a/debian/mona.1 b/debian/mona.1
new file mode 100644
index 0000000..d2ef0a6
--- /dev/null
+++ b/debian/mona.1
@@ -0,0 +1,49 @@
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH MONA 1 "Oktober 23, 2000"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh disable hyphenation
+.\" .hy enable hyphenation
+.\" .ad l left justify
+.\" .ad b justify to both left and right margins
+.\" .nf disable filling
+.\" .fi enable filling
+.\" .br insert line break
+.\" .sp <n> insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+mona \- a theorem prover based on automata
+.SH SYNOPSIS
+.B mona
+.RI [ options ] " files" ...
+.SH DESCRIPTION
+This manual page documents briefly the
+.B mona
+command.
+This manual page was written for the Debian GNU/Linux distribution
+because the original program does not have a manual page.
+.PP
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
+\fIMona\fP is a tool that translates formulas in the logics WS1S or WS2S
+into finite-state automata represented by BDDs. The formulas may
+express search patterns, temporal properties of reactive systems,
+parse tree constraints, etc. \fIMona\fP also analyses the automaton
+resulting from the compilation, and determines whether the formula is
+valid and, if the formula is not valid, generates a counter-example.
+.PP
+Due to copyright restrictions, the mona documentation can currently not
+be redistributed with the debian package. We hope that this situation will
+be improved with future versions of the documentation.
+.PP
+Typing \fImona\fP without arguments displays the command-line usage.
+The documentation can be obtained from the projet web site
+\fIhttp://www.brics.dk/mona\fP
+.SH AUTHOR
+This manual page was written by Ralf Treinen <treinen at debian.org>,
+for the Debian GNU/Linux system (but may be used by others).
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..ea94932
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,74 @@
+#!/usr/bin/make -f
+# Sample debian/rules that uses debhelper.
+# GNU copyright 1997 to 1999 by Joey Hess.
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+# This is the debhelper compatability version to use.
+export DH_COMPAT=2
+
+configure: configure-stamp
+configure-stamp:
+ dh_testdir
+ touch configure-stamp
+
+build: configure-stamp build-stamp
+build-stamp:
+ dh_testdir
+ $(MAKE)
+ touch build-stamp
+
+clean:
+ dh_testdir
+ dh_testroot
+ rm -f build-stamp configure-stamp
+ -$(MAKE) clean
+ # upstream should fix his clean target!
+ -rm mona Mem/mem.a
+ dh_clean
+
+install: build
+ dh_testdir
+ dh_testroot
+ dh_clean -k
+ dh_installdirs
+ cp mona `pwd`/debian/mona/usr/bin
+ cp mona-mode.el `pwd`/debian/mona/usr/share/emacs/site-lisp/mona
+
+# Build architecture-independent files here.
+binary-indep: build install
+# We have nothing to do by default.
+
+# Build architecture-dependent files here.
+binary-arch: build install
+# dh_testversion
+ dh_testdir
+ dh_testroot
+# dh_installdebconf
+ dh_installdocs
+ dh_installexamples Examples/*
+# dh_installmenu
+ dh_installemacsen
+# dh_installpam
+# dh_installinit
+# dh_installcron
+ dh_installmanpages
+# dh_installinfo
+# dh_undocumented
+ dh_installchangelogs
+ dh_link
+ dh_strip
+ dh_compress
+ dh_fixperms
+# dh_suidregister
+# dh_makeshlibs
+ dh_installdeb
+# dh_perl
+ dh_shlibdeps
+ dh_gencontrol
+ dh_md5sums
+ dh_builddeb
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install configure
diff --git a/makefile b/makefile
index e0ecb62..4baa1cf 100644
--- a/makefile
+++ b/makefile
@@ -91,3 +91,8 @@ wc: FORCE
! -name 'parser.cpp' `
FORCE:
+
+
+
+
+
--
mona packaging
More information about the debian-science-commits
mailing list