annotate src/insert_verification/CMakeLists.txt @ 16:3acaadc0a60c

Enumerate all insetion patterns
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 20 Mar 2016 23:39:31 +0900
parents 3f00d95339a7
children 2112f0024537
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
a13620720e35 Add directory for insert verification
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 cmake_minimum_required(VERSION 3.3)
a13620720e35 Add directory for insert verification
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
2
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
3 # import LLRB from Gears
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
4 set(llrb_path $ENV{GEARS_PATH}/src/llrb)
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
5
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
6 include_directories(include)
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
7 include_directories($ENV{GEARS_PATH}/src/include)
6
3f00d95339a7 Use llrb in akasha
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
8 include_directories(${llrb_path}/include)
3f00d95339a7 Use llrb in akasha
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
9
1
a13620720e35 Add directory for insert verification
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 add_executable(insert_verification
2
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
11 main.c
4
d41e349d6e22 Fix filename
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
12 akashaCS.c
d41e349d6e22 Fix filename
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
13 akashaLLRBContext.c
d41e349d6e22 Fix filename
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
14
3
c80e44ac8f5e Import origin_cs and llrbContext
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
15 ${llrb_path}/llrb.c
6
3f00d95339a7 Use llrb in akasha
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
16 ${llrb_path}/allocate.c
3f00d95339a7 Use llrb in akasha
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
17 ${llrb_path}/compare.c
3f00d95339a7 Use llrb in akasha
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
18 ${llrb_path}/stack.c
2
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
19 )
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
20