[SCM] mona packaging branch, master, updated. upstream/1.4-2-17-g7d5620d
Ralf Treinen
treinen at free.fr
Wed May 11 20:47:11 UTC 2011
The following commit has been merged in the master branch:
commit 9852f2c845cc49b82a14355f6b5ad4a28d58a390
Merge: 1a33a98f5f3a5cc1eaf61ee8943562c23375040b d42f87a3487b229896e554d1abf9f170932f01db
Author: Ralf Treinen <treinen at debian.org>
Date: Tue Apr 15 20:05:10 2008 +0200
Imported Debian patch 1.4-10-1
diff --combined debian/changelog
index 1acc4b8,0000000..a1d04e1
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,97 -1,0 +1,112 @@@
++mona (1.4-10-1) unstable; urgency=low
++
++ * New upstream release.
++ * debian/conrol:
++ - add homepage field.
++ - Standards-Version 3.7.3 (no change).
++ - build-depends on chrpath
++ * debian/rules:
++ - have build-stamp depend on patch-stamp in order to avoid
++ multiple configuration passes.
++ - use upstream install target to install everything
++ - use chrpah to clear out rpaths
++
++ -- Ralf Treinen <treinen at debian.org> Tue, 15 Apr 2008 20:05:10 +0200
++
+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 b003de0,0000000..c58c4b1
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,20 -1,0 +1,21 @@@
+Source: mona
+Section: misc
+Priority: optional
+Maintainer: Ralf Treinen <treinen at debian.org>
- Build-Depends: debhelper (>= 4.0), bison, flex, dpatch, autotools-dev
- Standards-Version: 3.7.2
++Build-Depends: debhelper (>= 4.0), bison, flex, dpatch, autotools-dev, chrpath
++Standards-Version: 3.7.3
++Homepage: http://www.brics.dk/~amoeller/mona/index.html
+
+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/dirs
index 0000000,0000000..5f15f3d
new file mode 100644
--- /dev/null
+++ b/debian/dirs
@@@ -1,0 -1,0 +1,2 @@@
++usr/bin
++usr/share/emacs/site-lisp/mona
diff --combined debian/rules
index 1ef7b4a,0000000..da30cd6
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,62 -1,0 +1,78 @@@
+#!/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
+
- makefile: patch
- dh_testdir
- ./configure --prefix=/usr CFLAGS=$(OPTFLAGS) CXXFLAGS=$(OPTFLAGS)
++build: build-stamp
+
- build: makefile mona
- mona:
++build-stamp: patch-stamp
+ dh_testdir
++ ./configure --prefix=/usr CFLAGS=$(OPTFLAGS) CXXFLAGS=$(OPTFLAGS)
+ $(MAKE) CFLAGS=$(OPTFLAGS) CXXFLAGS=$(OPTFLAGS)
- $(MAKE) lib CFLAGS=$(OPTFLAGS) CXXFLAGS=$(OPTFLAGS)
++ touch build-stamp
++
++clean: clean1 unpatch
+
- clean: unpatch
++clean1:
+ dh_testdir
+ dh_testroot
+ if [ -e makefile ]; then $(MAKE) distclean; fi
++ -rm build-stamp
+ 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
++ dh_installdirs
++
++ # the generated makefile does not honor PREFIX=...
++ ./configure --prefix=`pwd`/debian/mona/usr \
++ --mandir=`pwd`/debian/mona/usr/share/man
++ $(MAKE) install
++
++ # get rid of rpaths
++ for lib in libmonabdd.so libmonadfa.so libmonagta.so;\
++ do chrpath -d `pwd`/debian/mona/usr/lib/$$lib; \
++ done
++ chrpath -d `pwd`/debian/mona/usr/bin/mona
++
++ # make install seems to misplace this one
++ -rm `pwd`/debian/mona/usr/share/mona-mode.el
+ 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/*
++ -rm `pwd`/debian/mona/usr/share/doc/mona/examples/*.o
+ dh_installemacsen
+ dh_installman mona.1
+ dh_installchangelogs
+ dh_strip
+ dh_compress
+ dh_fixperms
++ dh_makeshlibs
+ 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
++.PHONY: build clean clean1 binary-indep binary-arch binary install patch unpatch
--
mona packaging
More information about the debian-science-commits
mailing list