michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make AGDA_VERSION a Travis variable

Browse source
This commit is contained in:
Wen Kokke 2018-12-06 18:47:01 +00:00
parent 8eaabb0a6d
commit d6a450b1c7
2 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.yml
View file

@ -12,7 +12,7 @@ cache:
- $HOME/.stack
- $HOME/.agda
- $HOME/.local
- $HOME/agda-master
- $HOME/agda-$AGDA_VERSION
- $HOME/agda-stdlib-master
- $HOME/agda2html-master
- $HOME/acknowledgements-master

1
Makefile
View file

@ -3,7 +3,6 @@ agdai := $(shell find src tspl -type f -name '*.agdai')
markdown := $(subst tspl/,out/,$(subst src/,out/,$(subst .lagda,.md,$(agda))))
PLFA_DIR := $(shell dirname $(realpath $(lastword $(MAKEFILE_LIST))))
AGDA2HTML_FLAGS := --verbose --link-to-local-agda-names --use-jekyll=out/
AGDA_VERSION := 2.5.4.2
test: build
ruby -S bundle exec htmlproofer _site