Code

Makefile: fix lib rule#25

Code

Open

jirislaby wants to merge 15 commits intoniklasso:masterniklasso/minisat:masterfrom jirislaby:masterjirislaby/minisat:masterCopy head branch name to clipboard

+135-27

Commits

Commits on Apr 1, 2015

• Fixing problems with compilation with C++11 compilers

  msoos

  committed
  c554273

Commits on Apr 8, 2015

• Remove illegal (and not neccesary) friend definition to fix compilation under clang.

  

  jbransen

  authored and

  Dan Liew

  committed
  4d9462e

Commits on Jun 22, 2015

• Fix declaration of Minisat::memUsedPeak for non-Linux systems

  rgov

  committed
  3db5894

Commits on Mar 19, 2016

• Specify default argument in the declaration not the friend declaration

  msoos

  committed
  26b58cf

Commits on Apr 23, 2017

• Fixing Visual Studio build issues

  msoos

  committed
  25ac527

• Adding appveyor for minisat

  msoos

  committed
  7d4cb54

• Fixing appveyor build

  msoos

  committed
  5566d44

Commits on Apr 27, 2017

• fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]

  Robbepop

  committed
  a98e44f

• Merge pull request #1 from Robbepop/master

  Show description for 0662095
  msoos

  authored
  0662095

Commits on Mar 7, 2018

• Resolve merge conflicts

  rgov

  committed
  99e19fc

• Merge branch 'msoos-master'

  rgov

  committed
  29bb7bc

Commits on Jun 29, 2018

• Fix linking of minisat as dependency library on MacOSX

  Show description for 1aa1e87
  MartinNowack

  authored
  1aa1e87

Commits on Jul 2, 2018

• Merge pull request niklasso#2 from MartinNowack/patch-1

  Show description for a259927
  rgov

  authored
  a259927

Commits on Nov 4, 2019

• CMakeLists: support different lib dirs

  Show description for c65ff70
  

  Jiri Slaby

  committed
  c65ff70

• CMakeLists: make static lib optional

  Show description for 295a4a7
  

  Jiri Slaby

  committed
  295a4a7