Mercurial > hg > Gears > GearsAgda
view src/CMakeLists.txt @ 69:368306e1bfed
llrb deletion(not work).
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 20 Oct 2015 16:22:42 +0900 |
parents | 240c045ebab2 |
children | e06e1a9e569e |
line wrap: on
line source
cmake_minimum_required(VERSION 3.3) # output compile log set(CMAKE_VERBOSE_MAKEFILE 1) # set compiler set(CMAKE_C_COMPILER $ENV{CbC_Clang}/clang) # compile option add_definitions("-Wall -g -O0") include_directories(include) add_subdirectory(allocate) add_subdirectory(list) add_subdirectory(llrb) add_subdirectory(synchronizedQueue)