From 795a00d97c507b4e1a1c7a741e5b406c3e7686ee Mon Sep 17 00:00:00 2001
From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Date: Sat, 17 Dec 2016 07:27:31 +0100
Subject: [PATCH] alpha FTBFS: _FPU_GETCW is undefined

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

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

Gbp-Pq: Name gringo-alpha-fpu-getcw.patch
---
 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);\
-- 
2.30.2