[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



https://bugzilla.redhat.com/show_bug.cgi?id=1093500



--- Comment #2 from Scott K Logan <logans@xxxxxxxxxxx> ---
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

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review





[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]