fix(travis.yml): fix travis setup for new nightlies

leanprover-community · Apr 5, 2018 · 2f0beae · 2f0beae
1 parent 81264ec
commit 2f0beae
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,7 +1,9 @@
 language: generic
 
 install:
-  - curl https://leanprover.github.io/lean-nightly/build/lean-nightly-linux.tar.gz | tar xz -C ..
+  - LEAN_VERSION="lean-3.3.1"
+  - NIGHTLY="nightly-2018-04-02"
+  - curl https://github.com/leanprover/lean-nightly/releases/download/$NIGHTLY/$LEAN_VERSION-$NIGHTLY-linux.tar.gz -L | tar xz -C ..
   - export PATH=../lean-nightly-linux/bin:$PATH
 
 script:

diff --git a/leanpkg.toml b/leanpkg.toml
@@ -1,7 +1,6 @@
 [package]
 name = "mathlib"
 version = "0.1"
-# TODO(Mario): reinstate when this actually works
-# lean_version = "nightly-2018-04-02"
+lean_version = "nightly-2018-04-02"
 
 [dependencies]