From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Date: Sat, 17 Dec 2016 06:27:31 +0000 (+0100)
Subject: alpha FTBFS: _FPU_GETCW is undefined
X-Git-Tag: archive/raspbian/5.3.0-13+rpi1~1^2^2~1
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=795a00d97c507b4e1a1c7a741e5b406c3e7686ee;p=gringo.git

alpha FTBFS: _FPU_GETCW is undefined

Forwarded: https://github.com/potassco/clasp/pull/3

===================================================================

Gbp-Pq: Name gringo-alpha-fpu-getcw.patch
---

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);\