Package Details: clasp 3.2.1-1

Git Clone URL: (read-only)
Package Base: clasp
Description: A conflict-driven nogood learning answer set solver.
Upstream URL:
Licenses: GPL3
Groups: potassco
Submitter: None
Maintainer: vbmithr
Last Packager: vbmithr
Votes: 43
Popularity: 1.196078
First Submitted: 2012-02-07 09:54
Last Updated: 2016-10-24 18:52

Latest Comments

sebleblanc commented on 2016-10-02 21:10

Hello, build fails on armv7h (Raspberry Pi 3) due to improper assumptions w.r.t. FPU support. I am submitting this here because I am unsure how to contact upstream. Thank you!

Here is a patch:

----%---- BEGIN PATCH ----%----
"Neuter" the FPU_SWITCH_DOUBLE and FPU_RESTORE_DOUBLE macros to enable build on ARM platforms.

I am compiling on an ARM platform (Raspberry Pi) that does not define the _FPU_(SINGLE|DOUBLE|EXTENDED) constants, breaking the build. This patch works around the issues.

--- clasp-3.2.0/app/clasp_app.cpp.orig 2016-10-02 16:48:29.176084961 -0400
+++ clasp-3.2.0/app/clasp_app.cpp 2016-10-02 17:01:18.121919020 -0400
@@ -34,10 +34,12 @@

#if defined( __linux__ )
#include <fpu_control.h>
+#if defined( _FPU_EXTENDED ) && defined( _FPU_SINGLE ) && defined( _FPU_DOUBLE )
#define FPU_SWITCH_DOUBLE(oldW) _FPU_GETCW(oldW);\
unsigned __t = ((oldW) & ~_FPU_EXTENDED & ~_FPU_SINGLE) | _FPU_DOUBLE;\
#elif defined (_MSC_VER) && !defined(_WIN64)
#include <float.h>
#define FPU_SWITCH_DOUBLE(oldW) \

vbmithr commented on 2016-03-06 02:17

Sure, go ahead.

While you're at it, do the same for gringo and aspcud. And why not opam, also :)

catalin.hritcu commented on 2015-12-12 11:07

Nevermind, the script is supposed to show packages that depend on libstdc++, and that's the case both before and after the rebuild ( Sorry for the noise.

catalin.hritcu commented on 2015-12-12 10:42

This package shows up on the list of packages that need to be rebuit after the recent switch to C++ dual ABI.
Unfortunately this happens to me even after rebuilding and reinstalling the package, which is very puzzling to me.

vbmithr commented on 2014-03-26 13:38

Or maybe disown.

vbmithr commented on 2014-03-01 21:49

Please upgrade.