adapt to cmake 2.6:   use old behaviour for preprocessor parameters
adapt to cmake 2.6:
  use old behaviour for preprocessor parameters


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver