[gringo] 01/03: fix FTBFS on alpha

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository gringo.

commit d498044efb77c5c819feb606b8b9e8cbe2948f82
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Dec 18 09:35:50 2016 +0100

    fix FTBFS on alpha
    
    do not define FPU_SWITCH_DOUBLE on alpha, _FPU_GETCW and friends are
    undefined on this arch
---
 debian/patches/gringo-alpha-fpu-getcw.patch | 23 +++++++++++++++++++++++
 debian/patches/series                       |  1 +
 2 files changed, 24 insertions(+)

diff --git a/debian/patches/gringo-alpha-fpu-getcw.patch b/debian/patches/gringo-alpha-fpu-getcw.patch
new file mode 100644
index 0000000..d8cf944
--- /dev/null
+++ b/debian/patches/gringo-alpha-fpu-getcw.patch
@@ -0,0 +1,23 @@
+From: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
+Date: Sat, 17 Dec 2016 07:27:31 +0100
+Subject: alpha FTBFS: _FPU_GETCW is undefined
+Forwarded: https://github.com/potassco/clasp/pull/3
+
+===================================================================
+---
+ app/clingo/src/clasp/clasp_app.cpp | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/app/clingo/src/clasp/clasp_app.cpp b/app/clingo/src/clasp/clasp_app.cpp
+index 31f2b70..cb4294e 100644
+--- a/app/clingo/src/clasp/clasp_app.cpp
++++ b/app/clingo/src/clasp/clasp_app.cpp
+@@ -32,7 +32,7 @@
+ #endif
+ #include <clasp/clause.h>
+ 
+-#if defined( __linux__ )
++#if defined( __linux__ ) && !defined(__alpha__)
+ #include <fpu_control.h>
+ #if defined(_FPU_EXTENDED) && defined(_FPU_SINGLE) && defined(_FPU_DOUBLE)
+ #define FPU_SWITCH_DOUBLE(oldW) _FPU_GETCW(oldW);\
diff --git a/debian/patches/series b/debian/patches/series
index 8e5f340..7d790fc 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ gringo-manpages.patch
 reproducible-build.patch
 gringo-fix-body-literals-as-auxiliary.patch
 gringo-broken-std-exception_ptr.patch
+gringo-alpha-fpu-getcw.patch

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