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

Moving things to .travis.yaml

Browse source
This commit is contained in:
Wen Kokke 2020-07-02 20:10:16 +01:00
parent 660e558299
commit 69b89e8d1f
2 changed files with 15 additions and 28 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.travis.yml
View file

@ -25,19 +25,22 @@ addons:
- epubcheck - epubcheck
- libgmp-dev - libgmp-dev
- libicu-dev - libicu-dev
- luarocks
# Ensure we run BASH and not SH # Ensure we run BASH and not SH
env: env:
- SH=bash - SH=bash
before_install: before_install:
# Download and unpack the stack executable # Install Stack
- mkdir -p ~/.local/bin - mkdir -p ~/.local/bin
- export PATH=$HOME/.local/bin:$PATH - export PATH=$HOME/.local/bin:$PATH
- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack' - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
# Download and install agda, agda-stdlib, and agda2html # Download and install agda, agda-stdlib, and agda2html
- make travis-setup - make travis-setup
# 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 Lua
- travis_retry curl -R -O http://www.lua.org/ftp/lua-5.4.0.tar.gz | tar zxf && cd lua-5.4.0 && sudo make all test
script: script:
- travis_retry curl -L https://raw.githubusercontent.com/plfa/git-tools/master/git-restore-mtime | python - travis_retry curl -L https://raw.githubusercontent.com/plfa/git-tools/master/git-restore-mtime | python

36
Makefile
View file

@ -11,9 +11,8 @@ JEKYLL := $(JEKYLL)
HTML_PROOFER := $(BUNDLE) exec htmlproofer HTML_PROOFER := $(BUNDLE) exec htmlproofer
LUA_FILES := $(shell find . -type f -and -path '*/epub/*' -and -name '*.lua') LUA_FILES := $(shell find . -type f -and -path '*/epub/*' -and -name '*.lua')
LUA_HOME := $(HOME)/.local LUA := lua
LUA := $(LUA_HOME)/bin/lua LUAROCKS := luarocks --lua-version=$(LUA_VERSION)
LUAROCKS := luarocks --lua-dir=$(LUA_HOME) --lua-version=$(LUA_VERSION)
LUA_MODULES := lua_modules LUA_MODULES := lua_modules
PANDOC := /usr/bin/pandoc PANDOC := /usr/bin/pandoc
@ -173,11 +172,9 @@ travis-setup:\
$(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src\ $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src\
$(HOME)/.agda/defaults\ $(HOME)/.agda/defaults\
$(HOME)/.agda/libraries\ $(HOME)/.agda/libraries\
$(LUA)\
$(LUA_MODULES)/share/lua/$(LUA_VERSION)/cjson\ $(LUA_MODULES)/share/lua/$(LUA_VERSION)/cjson\
$(LUA_MODULES)/share/lua/$(LUA_VERSION)/tinyyaml.lua\ $(LUA_MODULES)/share/lua/$(LUA_VERSION)/tinyyaml.lua\
$(LUA_MODULES)/share/lua/$(LUA_VERSION)/liquid.lua\ $(LUA_MODULES)/share/lua/$(LUA_VERSION)/liquid.lua
/usr/bin/pandoc
.phony: travis-setup .phony: travis-setup
@ -198,7 +195,8 @@ $(HOME)/.agda/libraries:
echo "$(PLFA_DIR)/plfa.agda-lib" >> $(HOME)/.agda/libraries echo "$(PLFA_DIR)/plfa.agda-lib" >> $(HOME)/.agda/libraries
$(HOME)/.local/bin/agda: $(HOME)/.local/bin/agda:
curl -L https://github.com/agda/agda/archive/v$(AGDA_VERSION).zip -o $(HOME)/agda-$(AGDA_VERSION).zip travis_retry curl -L https://github.com/agda/agda/archive/v$(AGDA_VERSION).zip\
-o $(HOME)/agda-$(AGDA_VERSION).zip
unzip -qq $(HOME)/agda-$(AGDA_VERSION).zip -d $(HOME) unzip -qq $(HOME)/agda-$(AGDA_VERSION).zip -d $(HOME)
cd $(HOME)/agda-$(AGDA_VERSION);\ cd $(HOME)/agda-$(AGDA_VERSION);\
stack install --stack-yaml=stack-8.0.2.yaml stack install --stack-yaml=stack-8.0.2.yaml
@ -218,7 +216,8 @@ travis-reinstall-agda: travis-uninstall-agda travis-install-agda
travis-install-agda-stdlib: $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src travis-install-agda-stdlib: $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src
$(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src: $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION)/src:
curl -L https://github.com/agda/agda-stdlib/archive/v$(AGDA_STDLIB_VERSION).zip -o $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION).zip travis_retry curl -L https://github.com/agda/agda-stdlib/archive/v$(AGDA_STDLIB_VERSION).zip\
-o $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION).zip
unzip -qq $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION).zip -d $(HOME) unzip -qq $(HOME)/agda-stdlib-$(AGDA_STDLIB_VERSION).zip -d $(HOME)
mkdir -p $(HOME)/.agda mkdir -p $(HOME)/.agda
@ -237,7 +236,8 @@ travis-reinstall-agda-stdlib: travis-uninstall-agda-stdlib travis-install-agda-s
travis-install-acknowledgements: $(HOME)/.local/bin/acknowledgements travis-install-acknowledgements: $(HOME)/.local/bin/acknowledgements
$(HOME)/.local/bin/acknowledgements: $(HOME)/.local/bin/acknowledgements:
curl -L https://github.com/plfa/acknowledgements/archive/master.zip -o $(HOME)/acknowledgements-master.zip travis_retry curl -L https://github.com/plfa/acknowledgements/archive/master.zip\
-o $(HOME)/acknowledgements-master.zip
unzip -qq $(HOME)/acknowledgements-master.zip -d $(HOME) unzip -qq $(HOME)/acknowledgements-master.zip -d $(HOME)
cd $(HOME)/acknowledgements-master;\ cd $(HOME)/acknowledgements-master;\
stack install stack install
@ -251,28 +251,12 @@ travis-reinstall-acknowledgements: travis-uninstall-acknowledgements travis-rein
.phony: travis-install-acknowledgements travis-uninstall-acknowledgements travis-reinstall-acknowledgements .phony: travis-install-acknowledgements travis-uninstall-acknowledgements travis-reinstall-acknowledgements
# Pandoc
# The version of Pandoc on Xenial is too old.
$(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
sudo dpkg -i $(HOME)/pandoc.deb
# Lua # Lua
# The version of Lua on Xenial is too old.
travis-install-lua:\ travis-install-lua:\
$(LUA)\
$(LUA_MODULES)/share/lua/$(LUA_VERSION)/cjson\ $(LUA_MODULES)/share/lua/$(LUA_VERSION)/cjson\
$(LUA_MODULES)/share/lua/$(LUA_VERSION)/tinyyaml.lua\ $(LUA_MODULES)/share/lua/$(LUA_VERSION)/tinyyaml.lua\
$(LUA_MODULES)/share/lua/$(LUA_VERSION)/liquid.lua\ $(LUA_MODULES)/share/lua/$(LUA_VERSION)/liquid.lua
$(LUA):
curl http://www.lua.org/ftp/lua-$(LUA_VERSION).$(LUA_FILES_PATCH_VERSION).tar.gz | tar xz
make linux
make INSTALL_TOP=$(LUA_HOME) install
$(LUA_MODULES)/share/lua/$(LUA_VERSION)/cjson: $(LUA_MODULES)/share/lua/$(LUA_VERSION)/cjson:
# Only this particular version works: # Only this particular version works: