[SCM] conflict-driven nogood learning answer set solver branch, master, updated. 277d469af5ed5058b346027cdac24e71517f4c76

[Dmitrijs Ledkovs]

The following commit has been merged in the master branch:
commit 277d469af5ed5058b346027cdac24e71517f4c76
Author: Dmitrijs Ledkovs <xnox at debian.org>
Date:   Sun May 27 15:43:11 2012 +0100

    * Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184)

diff --git a/debian/changelog b/debian/changelog
index b582954..e818ae6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+clasp (2.0.6-2) unstable; urgency=low
+
+  * Team upload
+  * Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184)
+
+ -- Dmitrijs Ledkovs <xnox at debian.org>  Sun, 27 May 2012 15:41:47 +0100
+
 clasp (2.0.6-1) unstable; urgency=low
 
   * New upstream release.
diff --git a/debian/patches/gcc-4.7.patch b/debian/patches/gcc-4.7.patch
new file mode 100644
index 0000000..0c56be0
--- /dev/null
+++ b/debian/patches/gcc-4.7.patch
@@ -0,0 +1,14 @@
+Description: fix build with gcc 4.7
+ Include necessary header for _exit()
+Author: Ilya Barygin <randomaction at ubuntu.com>
+
+--- a/app/clasp_app.cpp
++++ b/app/clasp_app.cpp
+@@ -22,6 +22,7 @@
+ #include <iostream>
+ #include <fstream>
+ #include <clasp/clause.h>
++#include <unistd.h>
+ /////////////////////////////////////////////////////////////////////////////////////////
+ // Application
+ /////////////////////////////////////////////////////////////////////////////////////////
diff --git a/debian/patches/series b/debian/patches/series
index b31f497..33ac4f8 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 clasp-manpage.patch
+gcc-4.7.patch

-- 
conflict-driven nogood learning answer set solver