Mercurial > hg > Gears > GearsAgda
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 )