view src/insert_verification/CMakeLists.txt @ 46:44cc739b8b56 default tip

Fix assert condition
author atton
date Tue, 21 Jun 2016 07:41:55 +0000
parents d2073e23f206
children
line wrap: on
line source

cmake_minimum_required(VERSION 2.8)

# import LLRB from Gears
set(llrb_path $ENV{GEARS_PATH}/src/llrb)

include_directories(include)
include_directories($ENV{GEARS_PATH}/src/include)
include_directories(${llrb_path}/include)

add_executable(insert_verification
               main.c
               akashaCS.c
               akashaLLRBContext.c
               verifySpecification.c

               ${llrb_path}/allocate.c
               ${llrb_path}/llrb.c
               ${llrb_path}/compare.c
               ${llrb_path}/stack.c
              )