[SCM] solver for quantified boolean formulae branch, master, updated. ace6d22f039a5f0bc9b2e5517f58af03cdc04a3b

[Thomas Krennwallner]

The following commit has been merged in the master branch:
commit 5192fa5645fe3d973eb1f8ff19ceb672ad3baffd
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Aug 12 22:22:26 2012 +0200

    Refresh makefile patch.

diff --git a/debian/changelog b/debian/changelog
index 15b33b1..96498f4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ depqbf (1.0-1) unstable; urgency=low
 
   * New upstream release.
   * debian/control: Bump Standards-Version and update Homepage and Description.
-  * debian/changelog: Update Format, Upstream-Contact, Source, and Copyright.
+  * debian/copyright: Update Format, Upstream-Contact, Source, and Copyright.
   * debian/watch: Scan github for version tags.
+  * debian/patches/depqbf-makefile.patch: Refresh patch.
 
  -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Sun, 12 Aug 2012 22:02:14 +0200
 
diff --git a/debian/patches/depqbf-makefile.patch b/debian/patches/depqbf-makefile.patch
index 060131e..112511f 100644
--- a/debian/patches/depqbf-makefile.patch
+++ b/debian/patches/depqbf-makefile.patch
@@ -1,10 +1,11 @@
 Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
 Description: Remove -static and use gcc as C compiler.
-Index: depqbf-0.1/makefile
+Index: lonsing-depqbf-a539c4d/makefile
 ===================================================================
---- depqbf-0.1.orig/makefile	2011-08-26 11:24:00.000000000 +0200
-+++ depqbf-0.1/makefile	2011-08-26 11:24:49.000000000 +0200
-@@ -1,4 +1,6 @@
+--- lonsing-depqbf-a539c4d.orig/makefile	2012-07-18 13:14:21.000000000 +0200
++++ lonsing-depqbf-a539c4d/makefile	2012-08-12 22:19:48.000000000 +0200
+@@ -1,5 +1,6 @@
+-#CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 
 -CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 -static
 +CC=gcc
 +CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3

-- 
solver for quantified boolean formulae