view src/llrb/CMakeLists.txt @ 99:ca55f4be5f0f

Create verifier directory
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 02 Feb 2016 16:02:55 +0900
parents 547c23f3a898
children 3d7ecced7e14
line wrap: on
line source

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/verify_put_cs.c
)