Mercurial > hg > Gears > GearsAgda

diff src/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 240c045ebab2
children e06e1a9e569e
line wrap: on
line diff
--- a/src/CMakeLists.txt	Tue Sep 15 15:21:50 2015 +0900
+++ b/src/CMakeLists.txt	Tue Oct 20 16:22:42 2015 +0900
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 2.8)
+cmake_minimum_required(VERSION 3.3)
 
 # output compile log
 set(CMAKE_VERBOSE_MAKEFILE 1)