Commit 66f24eff by lucapegolotti

Fix problem with cmake project name

parent 801838d2
cmake_minimum_required (VERSION 2.6) cmake_minimum_required (VERSION 2.6)
project (Linearizability-checker C CXX) project (Linearizability_tester C CXX)
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11 -lrt") set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11 -lrt")
find_package(Threads REQUIRED) find_package(Threads REQUIRED)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or sign in to comment