Code

Fix compilation for non-linux OS's#18

Code

Open

jbransen wants to merge 4 commits intoniklasso:masterniklasso/minisat:masterfrom jbransen:masterjbransen/minisat:masterCopy head branch name to clipboard

+81-42

Commits

Commits on May 8, 2014

• Fix compilation for non-linux OS's

  jbransen

  committed
  f071e0b

Commits on Jun 19, 2014

• Remove illigal (and not neccesary) friend definition to fix compilation on Mac OS

  jbransen

  committed
  d9f3c41

• Turn off compiler optimisations for MinGW because it triggers a compiler-bug

  jbransen

  committed
  1258c9b

Commits on Jul 3, 2015

• Move StreamBuffer to separate file (such that only main depends on zlib)

  jbransen

  committed
  4c1923b