From 1d6a0c3ca352b24f54ddc464682498b5bcee7758 Mon Sep 17 00:00:00 2001 From: Michael Reed Date: Mon, 15 Jun 2020 18:31:31 -0400 Subject: [PATCH] Review: Hook the EPUB build up to Travis --- .travis.yml | 1 + Makefile | 10 ++++++++-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 562cb668..7269268f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -39,6 +39,7 @@ script: - travis_retry curl -L https://raw.githubusercontent.com/plfa/git-tools/master/git-restore-mtime | python - agda --version - acknowledgements --version +- pandoc --version - make test-offline # disable to only build cache before_deploy: diff --git a/Makefile b/Makefile index 02f05d54..dc18f835 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,7 @@ endif # Build PLFA and test hyperlinks -test: build +test: build epub ruby -S bundle exec htmlproofer '_site' @@ -154,7 +154,8 @@ travis-setup:\ $(HOME)/.local/bin/acknowledgements\ $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src\ $(HOME)/.agda/defaults\ - $(HOME)/.agda/libraries + $(HOME)/.agda/libraries\ + /usr/bin/pandoc .phony: travis-setup @@ -167,6 +168,11 @@ $(HOME)/.local/bin/acknowledgements: cd $(HOME)/acknowledgements-master;\ stack install +# The version of pandoc on Xenial is too old. +/usr/bin/pandoc: + 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 + dpkg -i $(HOME)/pandoc.deb + travis-uninstall-acknowledgements: rm -rf $(HOME)/acknowledgements-master/ rm $(HOME)/.local/bin/acknowledgements