Mercurial > hg > Gears > GearsAgda
comparison src/llrb/CMakeLists.txt @ 81:dc6f665bb753
implement delete(tail call). do not work
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 11 Dec 2015 15:06:20 +0900 |
parents | 5c4b9d116eda |
children | 547c23f3a898 |
comparison
equal
deleted
inserted
replaced
80:099d85f9d371 | 81:dc6f665bb753 |
---|---|
1 cmake_minimum_required(VERSION 2.8) | 1 cmake_minimum_required(VERSION 2.8) |
2 | |
3 add_definitions("-Wall -g -O0") | |
2 | 4 |
3 set(CMAKE_C_COMPILER $ENV{CbC_Clang}/clang) | 5 set(CMAKE_C_COMPILER $ENV{CbC_Clang}/clang) |
4 | 6 |
5 add_executable(llrb | 7 add_executable(llrb |
6 main.c | 8 main.c |