[depqbf] 01/01: Add support for libqdpll. New upstream release.

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch master
in repository depqbf.

commit 2d24156fb6af0357e0f079fe19d8161d9ed56413
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Thu Apr 24 07:55:05 2014 +0200

    Add support for libqdpll.
    New upstream release.
---
 debian/changelog                     | 11 +++++++++++
 debian/docs                          |  1 +
 debian/install                       |  3 +++
 debian/links                         |  2 ++
 debian/patches/depqbf-makefile.patch | 27 ++++++++++++++++++++-------
 5 files changed, 37 insertions(+), 7 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 3f16be4..42b7244 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,14 @@
+depqbf (3.02-1) unstable; urgency=low
+
+  * New upstream release.
+  * Add support for libqdpll.
+  * debian/install: Install libqdpll.* and qdpll.h.
+  * debian/docs: Add examples directory.
+  * debian/links: Symlink libqdpll.so.1.0.
+  * debian/patches/depqbf-makefile.patch: quilt refresh.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Thu, 24 Apr 2014 07:27:13 +0200
+
 depqbf (3.01-1) unstable; urgency=low
 
   * New upstream release.
diff --git a/debian/docs b/debian/docs
index 9eafbe1..179569b 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,2 +1,3 @@
 README
 NEWS
+examples
diff --git a/debian/install b/debian/install
index 2c5e519..3e42d61 100644
--- a/debian/install
+++ b/debian/install
@@ -1 +1,4 @@
 depqbf usr/bin
+qdpll.h usr/include/qdpll
+libqdpll.a usr/lib
+libqdpll.so.1.0 usr/lib
diff --git a/debian/links b/debian/links
new file mode 100644
index 0000000..b6da6d5
--- /dev/null
+++ b/debian/links
@@ -0,0 +1,2 @@
+usr/lib/libqdpll.so.1.0 usr/lib/libqdpll.so.1
+usr/lib/libqdpll.so.1 usr/lib/libdqpll.so
diff --git a/debian/patches/depqbf-makefile.patch b/debian/patches/depqbf-makefile.patch
index 43b668b..1791922 100644
--- a/debian/patches/depqbf-makefile.patch
+++ b/debian/patches/depqbf-makefile.patch
@@ -1,12 +1,12 @@
 Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
 Description: Add dpkg-buildflags support and use gcc as C compiler.
-Index: depqbf-version-3.0/makefile
+Index: depqbf-version-3.02/makefile
 ===================================================================
---- depqbf-version-3.0.orig/makefile	2014-02-20 16:36:21.424083517 +0100
-+++ depqbf-version-3.0/makefile	2014-02-20 16:36:21.420083688 +0100
-@@ -2,10 +2,14 @@
+--- depqbf-version-3.02.orig/makefile	2014-04-24 07:47:15.819912055 +0200
++++ depqbf-version-3.02/makefile	2014-04-24 07:47:47.422880230 +0200
+@@ -2,6 +2,10 @@
  #CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -g3 -DNDEBUG
- #CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -g3 
+ #CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -g3
  #CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -g3 -pg -fprofile-arcs -ftest-coverage -static
 +CC=gcc
 +CFLAGS += `dpkg-buildflags --get CFLAGS`
@@ -14,9 +14,22 @@ Index: depqbf-version-3.0/makefile
 +LDFLAGS = `dpkg-buildflags --get LDFLAGS`
  OBJECTS=qdpll_main.o qdpll_app.o qdpll.o qdpll_mem.o qdpll_dep_man_qdag.o
  
- depqbf: qdpll_main.o qdpll_app.o libqdpll.a
+ MAJOR=1
+@@ -17,7 +21,7 @@
+ 	$(CC) $(CFLAGS) -c $< -o $@
+ 
+ depqbf: qdpll_main.o qdpll_app.o libqdpll.a libqdpll.so.$(VERSION)
 -	$(CC) $(CFLAGS) qdpll_main.o qdpll_app.o -L. -lqdpll -o depqbf
 +	$(CC) $(CFLAGS) $(LDFLAGS) qdpll_main.o qdpll_app.o -L. -lqdpll -o depqbf
  
  qdpll_main.o: qdpll_main.c qdpll.h
- 	$(CC) $(CFLAGS) -c qdpll_main.c
+ 
+@@ -50,7 +54,7 @@
+ 	ranlib $@
+ 
+ libqdpll.so.$(VERSION): qdpll.fpico qdpll_mem.fpico qdpll_dep_man_qdag.fpico
+-	$(CC) -shared -Wl,-soname,libqdpll.so.$(MAJOR) $^ -o $@
++	$(CC) $(LDFLAGS) -shared -Wl,-soname,libqdpll.so.$(MAJOR) $^ -o $@
+ 
+ clean:
+ 	rm -f *.so.$(VERSION) *.fpico *.a *.o *.gcno *.gcda *.gcov *~ gmon.out depqbf

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/depqbf.git