chore(*): version 3.2.0

leanprover · Jun 18, 2017 · 9a386ae · 9a386ae
1 parent cda196f
commit 9a386ae
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/.appveyor.yml b/.appveyor.yml
@@ -16,7 +16,7 @@ test_script:
   - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4 --output-on-failure"
 
 artifacts:
-  - path: build\lean-3.1.1-windows.zip
+  - path: build\lean-3.2.0-windows.zip
     name: binary
 
 deploy:

diff --git a/.travis.yml b/.travis.yml
@@ -24,7 +24,7 @@ matrix:
      env:
        CMAKE_CXX_COMPILER=g++-4.9
        CMAKE_BUILD_TYPE=Release
-       TARGET=build/lean-3.1.1-linux.tar.gz
+       TARGET=build/lean-3.2.0-linux.tar.gz
        UPLOAD=ON
        STATIC=ON
 
@@ -91,7 +91,7 @@ matrix:
      env:
        CMAKE_CXX_COMPILER=clang++
        CMAKE_BUILD_TYPE=Release
-       TARGET=build/lean-3.1.1-darwin.zip
+       TARGET=build/lean-3.2.0-darwin.zip
        UPLOAD=ON
        PACKAGE=TRUE
 

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -1,8 +1,8 @@
 cmake_minimum_required(VERSION 2.8.7)
 project(LEAN CXX C)
 set(LEAN_VERSION_MAJOR 3)
-set(LEAN_VERSION_MINOR 1)
-set(LEAN_VERSION_PATCH 1)
+set(LEAN_VERSION_MINOR 2)
+set(LEAN_VERSION_PATCH 0)
 
 set(LEAN_EXTRA_LINKER_FLAGS "")
 set(LEAN_EXTRA_CXX_FLAGS "")