Hi, one of the things people asked for was building SAT-Britney on stable. A recent refactoring caused the dependency on unordered-containers to be dropped, so now it can be built on squeeze without having to update any Haskell libraries therein. Three libraries need to be installed via cabal (or backported, if this is wanted): $ cabal install bitarray bytestring-nums strict Also, I had to do two small changes to the code to make it work with the versions in squeeze: http://git.nomeata.de/?p=sat-britney.git;a=commitdiff;h=45181dabafb08dfed9c92174e51cf8a57af3602c The change in .cabal has the effect that I the stack size needs to be specified at run-time with "+RTS -K83886080 -RTS" (although I have not tested if this is still needed with the latest code). The code changes avoids functions not present in the vector library in squeeze. This change has a performance penalty, although I did not measure it. I also did not measure whether the code generated by the compiler in unstable is faster or slower. In fact, I tested only whether it builds and successfully handles the test data. Hence, these changes live on a separate git branch named squeeze. Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part