https://bugzilla.redhat.com/show_bug.cgi?id=1093500
--- Comment #2 from Scott K Logan logans@cottsay.net --- Hi Christopher -
1. I have tried it, and no, it doesn't build any non-static libraries. From what I can tell, the project only supports static libraries on non-Windows systems.
2. I noted this in my initial comment. The downstream packages bundle this version of clasp, and they won't build with the newest version. If we want to unbundle the clasp that they use, we'll need to use the version that they use. So until gringo and clingo update to the newest clasp, we'll need to keep this version as-is.
Thanks!
--scott