[SCM] mona packaging branch, master, updated. upstream/1.4-2-17-g7d5620d

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 80f8d0bd63fdf9c94a911f0b451830741c4865b0
Merge: 0308f46b5d708888ce1ed1ee5dd83e356d4fa395 f4ddedd8b67889d30b742cbcc8b2039542835630
Author: Ralf Treinen <treinen at debian.org>
Date:   Tue Feb 5 21:23:09 2002 +0100

    Imported Debian patch 1.4-3-1

diff --combined debian/changelog
index 3cb14e9,0000000..184f141
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,10 -1,0 +1,28 @@@
++mona (1.4-3-1) unstable; urgency=low
++
++  * Standards-version 3.5.6.0.
++  * DH_COMPAT=3. This marks all files in /etc as conffiles (closes:
++    Bug#132122).  
++  * Some cleanup in debian/rules.
++  * Removed local emacs variable in debian/changelog.
++  * Removed from the source package the following binary files (no idea
++    how they have slipped in the first place). Also, have them removed
++    by the clean target of debian/rules:
++    Examples/presburger_transduction, Examples/presburger_analysis,
++    Examples/gta_example, Examples/bdd_example, Lib/dfa2dot, Lib/gta2dot.
++  * Removed debian/docs and debian/dirs. Instead, pass arguments directly
++    to dh_installdocs and dh_installdirs.
++  * Add invocation of dh_installdeb in debian/rules.
++  * Changed in description the sentence on documentation, added url of
++    the upstream webpage.
++
++ -- Ralf Treinen <treinen at debian.org>  Tue,  5 Feb 2002 21:23:09 +0100
++
 +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 --combined debian/control
index 4db94f5,0000000..2e678f6
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,21 -1,0 +1,20 @@@
 +Source: mona
 +Section: misc
 +Priority: optional
 +Maintainer: Ralf Treinen <treinen at debian.org>
 +Build-Depends: debhelper, g++, bison, flex
- Standards-Version: 3.1.1
++Standards-Version: 3.5.6.0
 +
 +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.
++ Documentation is available from the MONA website http://www.brics.dk/mona/.
diff --combined debian/rules
index ea94932,0000000..ff00ef3
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,74 -1,0 +1,56 @@@
 +#!/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
++export DH_COMPAT=3
 +
 +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
++	-rm Examples/presburger_transduction Examples/presburger_analysis\
++	    Examples/gta_example Examples/bdd_example Lib/dfa2dot\
++	    Lib/gta2dot	
 +	dh_clean
 +
 +install: build
 +	dh_testdir
 +	dh_testroot
 +	dh_clean -k
- 	dh_installdirs
++	dh_installdirs usr/bin usr/share/emacs/site-lisp/mona
 +	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_installdocs README
 +	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

-- 
mona packaging