OKullmann/oklibrary — pull request #445 by MGwynne (2013-07-09 11:58:41+00:00)
Title: Cryptoms 3.2 redone

Branch: cryptoms-3.2-redone.

Installing cryptominisat-3.2 now completely rewritten from scratch.

There is now no "allcryptominisat", or "cleancryptominisat3" etc - the whole thing is much simpler and more in line with other scripts such as gcc412.

Two things:
(1) cryptominisat3 requires cmake to build. I think we discussed this at some point and agreed that this was on most linux systems by default now. Should this be added to the README?
(2) I haven't added cryptominisat3 to the list of packages to be built with "oklib all" etc. I assumed, for now, that cryptominisat3 is more for testing, not something to be included by default.

I will resend the m4ri and cryptominisat tarballs in an e-mail.

Matthew