Mercurial > hg > Gears > GearsAgda

diff src/llrb/CMakeLists.txt @ 69:368306e1bfed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
llrb deletion(not work).
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Tue, 20 Oct 2015 16:22:42 +0900
parents 025fd6e90597
children 5c4b9d116eda
line wrap: on
line diff
--- a/src/llrb/CMakeLists.txt	Tue Sep 15 15:21:50 2015 +0900
+++ b/src/llrb/CMakeLists.txt	Tue Oct 20 16:22:42 2015 +0900
@@ -1,8 +1,12 @@
 cmake_minimum_required(VERSION 2.8)
 
 add_executable(llrb
+               main.c
                llrb.c
                llrbContext.c
                allocate.c
                compare.c
+               stack.c
+               origin_cs.c
 )
+