From 5411002ca08ca449c2ff2c00889080cc5018f68d Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Sun, 28 Jan 2018 01:24:42 +0000
Subject: [PATCH] Added standard library to Travis

---
 .travis.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index b9a0c1e6..eec4f18f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -26,6 +26,12 @@ before_install:
 - cd agda-master
 - stack install --stack-yaml=stack-8.2.2.yaml
 - cd ..
+# Download and install agda-stdlib
+- travis_retry curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o agda-stdlib-master.zip
+- unzip -qq agda-stdlib-master.zip
+- mkdir ~/.agda
+- echo "standard-library" >> ~/.agda/defaults
+- echo "$TRAVIS_BUILD_DIR/agda-stdlib-master/standard-library.agda-lib" >> ~/.agda/libraries
 # Download and install agda2html
 - travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip
 - unzip -qq agda2html-master.zip