[SCM] mona packaging branch, master, updated. upstream/1.4-2-17-g7d5620d
Ralf Treinen
treinen at free.fr
Wed May 11 20:44:10 UTC 2011
The following commit has been merged in the master branch:
commit 1a33a98f5f3a5cc1eaf61ee8943562c23375040b
Merge: fabb276bd4815aaa4b2611cefaa61bad178a8bc3 df1ad40e1524b735cba7bd023c9568998c64b7f7
Author: Ralf Treinen <treinen at debian.org>
Date: Sat Jul 7 15:00:49 2007 +0200
Imported Debian patch 1.4-8-1
diff --combined debian/changelog
index 103b36b,0000000..1acc4b8
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,83 -1,0 +1,97 @@@
++mona (1.4-8-1) unstable; urgency=low
++
++ * New upstream release
++ * Removed patches 01_gcc3.4 and 02_gcc4.0 as this upstream version
++ compiles cleanly on gcc-3.4 and gcc-4.1.
++ * Patch 01_config: use recent config.{guess,sub}, depend on autotools-dev.
++ * Standards-version 3.7.2 (no change)
++ * Update address of the FSF in debian/copyright
++ * debian/rules, target "clean": execute "make clean" only when makefile
++ exists. Remove extra commands to remove generated makefiles as this
++ is now fixed by upstream.
++
++ -- Ralf Treinen <treinen at debian.org> Sat, 07 Jul 2007 15:00:49 +0200
++
+mona (1.4-7-4) unstable; urgency=low
+
+ * Compile with -O2 instead of -O3 on m68k in order to resolve FTBFS on
+ m68k which is due to a gcc-4.0 bug.
+ * Let "debian/rules clean" also remove the generated makefiles in
+ Examples/ and config/
+ * Switch from dh_installmanpages to dh_installman.
+
+ -- Ralf Treinen <treinen at debian.org> Fri, 5 Aug 2005 21:31:32 +0200
+
+mona (1.4-7-3) unstable; urgency=low
+
+ * Recommends graphiz (instead of Suggests).
+ * Standards-version 3.6.2 (no change).
+ * Rebuild with gcc 4.
+
+ -- Ralf Treinen <treinen at debian.org> Tue, 12 Jul 2005 08:59:49 +0200
+
+mona (1.4-7-2) unstable; urgency=low
+
+ * Patch 02_gcc4.0 fixes compilation error with gcc4.0 on amd64. Patch
+ provided by Andreas Jochens - thanks! (closes: Bug#287662).
+
+ -- Ralf Treinen <treinen at debian.org> Wed, 29 Dec 2004 17:09:44 +0100
+
+mona (1.4-7-1) unstable; urgency=low
+
+ * New upstream release
+ * Clean target: do a make distclean, and remove all generated makefiles
+ * Removed phony configure target
+ * Dpatch-ified
+ * Patch 01_gcc3.4: fix to compile with gcc-3.4. Thanks a lot to Andreas
+ Jochens for sending in this patch (closes: Bug#260596)
+
+ -- Ralf Treinen <treinen at debian.org> Wed, 4 Aug 2004 01:17:41 +0200
+
+mona (1.4-5-1) unstable; urgency=low
+
+ * New upstream release.
+ * Standards-Version 3.6.1:
+ - Honor "noopt" in the value of DEB_BUILD_OPTIONS
+ * Use the new ./configure script.
+ * Replace DH_COMPAT variable by file debian/compat, set to level 4.
+ * Build-dependency on debhelper: specify >= 4.0
+ * Removed "g++" from Build-Depends since it is build-essential.
+ * Dependencies in debian/rules: replace configure-stamp by makefile and
+ build-stamp by mona.
+ * Target clean in debian/rules: remove config.{status,log}, makefile.
+ * Upstream fixed his clean target to properly cleanup Examples and Lib,
+ remove according cleanup code in debian/rules stemming from 1.4-3.1.
+ * copyright: reformatted and fixed typos, specified v2 of GPL, added
+ GPL copyright declaration.
+
+ -- Ralf Treinen <treinen at debian.org> Sat, 6 Mar 2004 07:58:18 +0100
+
+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:
+End:
diff --combined debian/control
index 6a27a21,0000000..b003de0
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,20 -1,0 +1,20 @@@
+Source: mona
+Section: misc
+Priority: optional
+Maintainer: Ralf Treinen <treinen at debian.org>
- Build-Depends: debhelper (>= 4.0), bison, flex, dpatch
- Standards-Version: 3.6.2
++Build-Depends: debhelper (>= 4.0), bison, flex, dpatch, autotools-dev
++Standards-Version: 3.7.2
+
+Package: mona
+Architecture: any
+Depends: ${shlibs:Depends}
+Recommends: graphviz
+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.
+ .
+ Documentation is available from the MONA website http://www.brics.dk/mona/.
diff --combined debian/copyright
index 9ac8548,0000000..36bfdeb
mode 100644,000000..100644
--- a/debian/copyright
+++ b/debian/copyright
@@@ -1,31 -1,0 +1,33 @@@
+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,
+ mona at brics.dk, http://www.brics.dk/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).
+
+ 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
- USA.
++ along with this program; if not, write to
++
++ Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
++ MA 02110-1301, USA.
++
+
+On Debian systems, the complete text of the GNU General Public
+License, version 2, can be found in /usr/share/common-licenses/GPL-2.
+
diff --combined debian/patches/00list
index 6070dff,0000000..50eb438
mode 100644,000000..100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@@ -1,2 -1,0 +1,1 @@@
- 01_gcc3.4
- 02_gcc4.0
++01_config
diff --combined debian/patches/01_config.dpatch
index 0000000,0000000..b47306a
new file mode 100644
--- /dev/null
+++ b/debian/patches/01_config.dpatch
@@@ -1,0 -1,0 +1,28 @@@
++#! /bin/sh -e
++## config.dpatch
++## Ralf Treinen <treinen at debian.org>
++##
++## All lines beginning with `## DP:' are a description of the patch.
++## DP: replace all config.{guess,sub} by the vesion installed in
++## DP: /usr/share/misc
++
++dpatch_patch ()
++{
++ find . -name config.guess -o -name config.sub \
++ | tar cf debian/patched/config.guess+sub.tar -T -
++ find . -name config.guess \
++ -exec ln -sf /usr/share/misc/config.guess '{}' \;
++ find . -name config.sub \
++ -exec ln -sf /usr/share/misc/config.sub '{}' \;
++}
++
++dpatch_unpatch ()
++{
++ tar xf debian/patched/config.guess+sub.tar
++}
++
++DPATCH_LIB_NO_DEFAULT=1
++
++. /usr/share/dpatch/dpatch.lib.sh
++
++# arch-tag: 8a610a57-687b-4395-8ff2-79265c0a4eb3
diff --combined debian/rules
index 208fad0,0000000..1ef7b4a
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,66 -1,0 +1,62 @@@
+#!/usr/bin/make -f
+#export DH_VERBOSE=1
+
+include /usr/share/dpatch/dpatch.make
+
+# 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
+
- # these files are generated by configure but not purged by make distclean
- GENERATED_MAKEFILES = makefile BDD/makefile DFA/makefile GTA/makefile Lib/makefile Mem/makefile Front/makefile Examples/makefile config/makefile
-
+makefile: patch
+ dh_testdir
+ ./configure --prefix=/usr CFLAGS=$(OPTFLAGS) CXXFLAGS=$(OPTFLAGS)
+
+build: makefile mona
+mona:
+ dh_testdir
+ $(MAKE) CFLAGS=$(OPTFLAGS) CXXFLAGS=$(OPTFLAGS)
- $(MAKE) libCFLAGS=$(OPTFLAGS) CXXFLAGS=$(OPTFLAGS)
++ $(MAKE) lib CFLAGS=$(OPTFLAGS) CXXFLAGS=$(OPTFLAGS)
+
+clean: unpatch
+ dh_testdir
+ dh_testroot
- -$(MAKE) distclean
- -rm config.{log,status} $(GENERATED_MAKEFILES)
++ if [ -e makefile ]; then $(MAKE) distclean; fi
+ dh_clean
+
+install: build
+ dh_testdir
+ dh_testroot
+ dh_clean -k
+ 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
+
+binary-indep: build install
+
+binary-arch: build install
+ dh_testdir
+ dh_testroot
+ dh_installdocs README
+ dh_installexamples Examples/*
+ dh_installemacsen
+ dh_installman mona.1
+ dh_installchangelogs
+ dh_strip
+ dh_compress
+ dh_fixperms
+ dh_installdeb
+ dh_shlibdeps
+ dh_gencontrol
+ dh_md5sums
+ dh_builddeb
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install patch unpatch
--
mona packaging
More information about the debian-science-commits
mailing list