Updated .travis.yml, GHC version.

.travis.yml

@@ -28,7 +28,7 @@ addons:
 env:
   - SH=bash
 
-before_install:
+install:
 # Install Stack:
 - mkdir -p ~/.local/bin
 - export PATH=$HOME/.local/bin:$PATH
@@ -36,21 +36,20 @@ before_install:
 # Install Pandoc:
 - travis_retry curl -L https://github.com/jgm/pandoc/releases/download/2.9.2.1/pandoc-2.9.2.1-1-amd64.deb -o $HOME/pandoc.deb && sudo dpkg -i $HOME/pandoc.deb
 # Install agda, agda-stdlib, and acknowledgements:
-- travis_retry make travis-install-agda
-- travis_retry make travis-install-agda-stdlib
-- travis_retry make travis-install-acknowledgements
-- make travis-setup
+- travis_wait make travis-install-agda
+- travis_wait make travis-install-agda-stdlib
+- travis_wait make travis-install-acknowledgements
 
 script:
 - agda --version
 - acknowledgements --version
 - pandoc --version
 - acknowledgements -i _config.yml >> _config.yml
-- make build # build website
+- make build         # build website
 - make build-history # build previous releases
-- make test-offline # test website
-- make epub # build EPUB
-- make epubcheck # test EPUB
+- make test-offline  # test website
+- make epub          # build EPUB
+- make epubcheck     # test EPUB
 
 before_deploy:
 - make clean

Makefile

@@ -190,11 +190,9 @@ clobber: clean
 
 # Setup Travis
 travis-setup:\
-	$(HOME)/.local/bin/agda\
-	$(HOME)/.local/bin/acknowledgements\
-	$(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src\
-	$(HOME)/.agda/defaults\
-	$(HOME)/.agda/libraries
+	travis-install-agda\
+	travis-install-agda-stdlib\
+	travis-install-acknowledgements
 
 .phony: travis-setup
 
@@ -219,7 +217,7 @@ $(HOME)/.local/bin/agda:
 	                  -o $(HOME)/agda-$(AGDA_VERSION).zip
 	unzip -qq $(HOME)/agda-$(AGDA_VERSION).zip -d $(HOME)
 	cd $(HOME)/agda-$(AGDA_VERSION);\
-		stack install --stack-yaml=stack-8.0.2.yaml
+		stack install --stack-yaml=stack-8.3.3.yaml
 
 travis-uninstall-agda:
 	rm -rf $(HOME)/agda-$(AGDA_VERSION)/