Mercurial > hg > Gears > GearsAgda

diff src/llrb/CMakeLists.txt @ 72:5c4b9d116eda

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use stack for code segment
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Tue, 10 Nov 2015 01:59:04 +0900
parents 368306e1bfed
children dc6f665bb753
line wrap: on
line diff
--- a/src/llrb/CMakeLists.txt	Tue Oct 27 01:15:29 2015 +0900
+++ b/src/llrb/CMakeLists.txt	Tue Nov 10 01:59:04 2015 +0900
@@ -1,5 +1,7 @@
 cmake_minimum_required(VERSION 2.8)
 
+set(CMAKE_C_COMPILER $ENV{CbC_Clang}/clang)
+
 add_executable(llrb
                main.c
                llrb.c