[SCM] lbt packaging branch, master, updated. upstream/1.2.1-7-ga8d9895

[Ralf Treinen]

The following commit has been merged in the master branch:
commit a03c09bb53b64d415027d6c08e8bf1e9bda33fba
Author: Ralf Treinen <treinen at debian.org>
Date:   Fri Oct 4 21:17:49 2002 +0200

    Imported Debian patch 1.2.1-1

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..668f4b6
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,14 @@
+lbt (1.2.1-1) unstable; urgency=low
+
+  * First upload to unstable (closes: Bug#146321).
+  * Added Marko Mäkelä and Heikki Tauriainen to the list of upstream authors.
+  * lbt.doc-base: changed author of doc to Marko Mäkelä.
+
+ -- Ralf Treinen <treinen at debian.org>  Fri,  4 Oct 2002 21:17:49 +0200
+
+lbt (1.2.1-0.alpha) experimental; urgency=low
+
+  * Initial Release.
+
+ -- Ralf Treinen <treinen at debian.org>  Tue,  6 Aug 2002 23:13:17 +0200
+
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..2ce6652
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,16 @@
+Source: lbt
+Section: math
+Priority: optional
+Maintainer: Ralf Treinen <treinen at debian.org>
+Build-Depends: debhelper (>> 3.0.0)
+Standards-Version: 3.5.2
+
+Package: lbt
+Architecture: any
+Depends: ${shlibs:Depends}
+Suggests: graphviz
+Description: Converter of LTL formulas to Buechi automata
+ This software converts a linear temporal logic (ltl) formula to a
+ generalised Büchi automaton. The resulting automaton may be used, for
+ instance, in model checking, where it represents a property to be
+ verified from a model (e.g. a Petri net).
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..b2f3641
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,15 @@
+This package was debianized by Ralf Treinen <treinen at debian.org> on
+Sun,  4 Aug 2002 13:36:02 +0200.
+
+It was downloaded from http://www.tcs.hut.fi/maria/src/
+
+Upstream Authors:  Marko Mäkelä <msmakela at tcs.hut.fi>
+                   Mauno Rönkkö <mauno.ronkko at uku.fi>
+		   Heikki Tauriainen <heikki.tauriainen at 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/dirs b/debian/dirs
new file mode 100644
index 0000000..d7f251c
--- /dev/null
+++ b/debian/dirs
@@ -0,0 +1,2 @@
+usr/bin
+usr/share/doc/lbt/html
diff --git a/debian/lbt.doc-base b/debian/lbt.doc-base
new file mode 100644
index 0000000..2f1310d
--- /dev/null
+++ b/debian/lbt.doc-base
@@ -0,0 +1,9 @@
+Document: lbt
+Title: LBT Manual
+Authors: Marko Mäkelä <msmakela at tcs.hut.fi>
+Abstract: This manual describes how to use lbt, a tool to translate linear temporal logic formulas into generalized Büchi automata.
+Section: math
+
+Format: HTML
+Index: /usr/share/doc/lbt/html/index.html
+Files: /usr/share/doc/lbt/html/*.html
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..6972ddd
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,60 @@
+#!/usr/bin/make -f
+# debian/rules for lbt
+
+#export DH_VERBOSE=1
+export DH_COMPAT=3
+
+
+
+ifneq (,$(findstring debug,$(DEB_BUILD_OPTIONS)))
+	CFLAGS += -g
+endif
+ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
+	INSTALL_PROGRAM += -s
+endif
+
+build: build-stamp
+
+build-stamp:
+	dh_testdir
+	$(MAKE)
+	touch build-stamp
+
+clean:
+	dh_testdir
+	dh_testroot
+	rm -f build-stamp
+	-$(MAKE) reallyclean
+	dh_clean
+
+install: build
+	dh_testdir
+	dh_testroot
+	dh_clean -k
+	dh_installdirs
+	$(MAKE) install DESTDIR=$(CURDIR)/debian/lbt
+	$(MAKE) installman DESTDIR=$(CURDIR)/debian/lbt
+	cd $(CURDIR)/debian/lbt/usr/share/doc/lbt && mv *.html *.png html
+	cd $(CURDIR)/debian/lbt/usr/share/doc/lbt && mv ChangeLog changelog
+
+binary-indep: build install
+
+binary-arch: build install
+	dh_testdir
+	dh_testroot
+	dh_installdocs
+	dh_installexamples
+	dh_installman
+	dh_installchangelogs 
+	dh_link
+	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 configure

-- 
lbt packaging