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 31f2b70c8c3abb01b872b0d1a3c834fe4fcb84a3..cb4294ec3b93bb92fb808c3a938cafe1266db149 100644 (file)
--- 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);\