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

Building SAT-Britney on stable



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


Reply to: