The latest version of chomp will also need cmake. So I'm +1 for making it
optional (where as a dependency, the spkg is built only when there is not a
system installation).
Best,
Travis
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscr
On Sunday, May 14, 2017 at 10:17:52 PM UTC+1, François wrote:
>
> I am confident cmake can now be moved to optional. I took care
> of all of the problems I could see on OS X and helped with the
> ones on other platforms.
> Do we need some kind of vote for moving from experimental to
> optiona
I am confident cmake can now be moved to optional. I took care
of all of the problems I could see on OS X and helped with the
ones on other platforms.
Do we need some kind of vote for moving from experimental to
optional?
> On 15/05/2017, at 07:19, Dima Pasechnik wrote:
>
> +1, also for cmake u
+1, also for cmake update; the latter is very useful nowadays.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to
Hi,
SAT solvers are very handy for quick problem solving.
cryptominisat was stuck at version 2.9.6 since git migration, and was
tagged as an experimental package since it did not build on 32bit systems.
I updated it to latest version (5.0.1), which involved some changes:
- the build now relies
