From 78e4d54a9a2ff0b295303390bab1f20a9f3821d8 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Sun, 28 Jan 2018 10:39:34 +0000
Subject: [PATCH] Travis: Now also caching the build directories

---
 .travis.yml |  2 ++
 Makefile    | 20 ++++++++++----------
 2 files changed, 12 insertions(+), 10 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index c33c9178..21a87ce1 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,7 +10,9 @@ cache:
   - $HOME/.stack
   - $HOME/.agda
   - $HOME/.local
+  - $HOME/agda
   - $HOME/agda-stdlib-master
+  - $HOME/agda2html
 
 # Ensure necessary system libraries are present
 addons:
diff --git a/Makefile b/Makefile
index e7bbf0d1..f8ee86ac 100644
--- a/Makefile
+++ b/Makefile
@@ -36,27 +36,27 @@ endif
 	rmdir out/
 
 setup:\
-	$(HOME)/.local/bin/agda\
-	$(HOME)/.local/bin/agda2html\
-	$(HOME)/agda-stdlib-master/
+	$(HOME)/agda/\
+	$(HOME)/agda-stdlib-master/\
+	$(HOME)/agda2html/
 
 .phony: setup
 
-$(HOME)/.local/bin/agda:
+$(HOME)/agda/:
 	curl -L https://github.com/agda/agda/archive/master.zip -o $(HOME)/agda-master.zip
 	unzip -qq $(HOME)/agda-master.zip
 	cd $(HOME)/agda-master;\
 		stack install --stack-yaml=stack-8.2.2.yaml
 
-$(HOME)/.local/bin/agda2html:
-	curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o $(HOME)/agda2html-master.zip
-	unzip -qq $(HOME)/agda2html-master.zip
-	cd $(HOME)/agda2html-master;\
-		stack install
-
 $(HOME)/agda-stdlib-master/:
 	curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o $(HOME)/agda-stdlib-master.zip
 	unzip -qq $(HOME)/agda-stdlib-master.zip -d $(HOME)
 	mkdir $(HOME)/.agda
 	echo "standard-library" > $(HOME)/.agda/defaults
 	echo "$(HOME)/agda-stdlib-master/standard-library.agda-lib" > $(HOME)/.agda/libraries
+
+$(HOME)/agda2html/:
+	curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o $(HOME)/agda2html-master.zip
+	unzip -qq $(HOME)/agda2html-master.zip
+	cd $(HOME)/agda2html-master;\
+		stack install