cmake_minimum_required(VERSION 2.8)

add_definitions("-Wall -g -O0")

set(CMAKE_C_COMPILER $ENV{CbC_Clang}/clang)

add_executable(llrb
               main.c
               llrb.c
               llrbContext.c
               allocate.c
               compare.c
               stack.c
               origin_cs.c
)


add_executable(llrb_with_put_verify
               main.c
               llrb.c
               llrbContext.c
               allocate.c
               compare.c
               stack.c
               verifier/llrbContextWithVerifier.c
               verifier/verify_put_cs.c
)