Code

Solver CMake improvements#1402

Code

Closed

reuk wants to merge 3 commits intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/cxx11-in-solversreuk/cbmc:reuk/cxx11-in-solversCopy head branch name to clipboard

Commits

Commits on Sep 18, 2017

• Ensure cxx11 is used in solver libraries

  reuk

  committed
  61d7950

  Copy full SHA for 61d7950

• Pass cxx compiler and flags to solver libraries

  reuk

  committed
  ad8a0ea

  Copy full SHA for ad8a0ea

Commits on Sep 19, 2017

• Move external project import to solvers CMakeLists

  reuk

  committed
  bceb375

  Copy full SHA for bceb375