Make better use of Travis caching
This commit is contained in:
parent
5411002ca0
commit
106508f81f
2 changed files with 30 additions and 25 deletions
26
.travis.yml
26
.travis.yml
|
@ -5,8 +5,12 @@ language: ruby
|
|||
|
||||
# Caching so the next build will be fast too.
|
||||
cache:
|
||||
bundler: true
|
||||
directories:
|
||||
- $HOME/.stack
|
||||
- $HOME/.agda
|
||||
- $HOME/.local
|
||||
- $HOME/agda-stdlib-master
|
||||
|
||||
# Ensure necessary system libraries are present
|
||||
addons:
|
||||
|
@ -20,24 +24,8 @@ before_install:
|
|||
- mkdir -p ~/.local/bin
|
||||
- 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'
|
||||
# Download and install agda
|
||||
- travis_retry curl -L https://github.com/agda/agda/archive/master.zip -o agda-master.zip
|
||||
- unzip -qq agda-master.zip
|
||||
- cd agda-master
|
||||
- stack install --stack-yaml=stack-8.2.2.yaml
|
||||
- cd ..
|
||||
# Download and install agda-stdlib
|
||||
- travis_retry curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o agda-stdlib-master.zip
|
||||
- unzip -qq agda-stdlib-master.zip
|
||||
- mkdir ~/.agda
|
||||
- echo "standard-library" >> ~/.agda/defaults
|
||||
- echo "$TRAVIS_BUILD_DIR/agda-stdlib-master/standard-library.agda-lib" >> ~/.agda/libraries
|
||||
# Download and install agda2html
|
||||
- travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip
|
||||
- unzip -qq agda2html-master.zip
|
||||
- cd agda2html-master
|
||||
- stack install
|
||||
- cd ..
|
||||
# Download and install agda, agda-stdlib, and agda2html
|
||||
- make setup
|
||||
|
||||
script:
|
||||
- make
|
||||
- make
|
||||
|
|
29
Makefile
29
Makefile
|
@ -35,11 +35,28 @@ ifneq ($(strip $(markdown)),)
|
|||
endif
|
||||
rmdir out/
|
||||
|
||||
setup:
|
||||
cd /tmp;\
|
||||
git clone https://github.com/wenkokke/agda2html.git;\
|
||||
cd agda2html;\
|
||||
stack install
|
||||
rm -rf /tmp/agda2html
|
||||
setup:\
|
||||
$(HOME)/.local/bin/agda\
|
||||
$(HOME)/.local/bin/agda2html\
|
||||
$(HOME)/agda-stdlib-master/
|
||||
|
||||
.phony: setup
|
||||
|
||||
$(HOME)/.local/bin/agda:
|
||||
curl -L https://github.com/agda/agda/archive/master.zip -o agda-master.zip
|
||||
unzip -qq agda-master.zip
|
||||
cd 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 agda2html-master.zip
|
||||
unzip -qq agda2html-master.zip
|
||||
cd agda2html-master;\
|
||||
stack install
|
||||
|
||||
$(HOME)/agda-stdlib-master/:
|
||||
curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o agda-stdlib-master.zip
|
||||
unzip -qq agda-stdlib-master.zip
|
||||
mkdir ~/.agda
|
||||
echo "standard-library" >> $HOME/.agda/defaults
|
||||
echo "$HOME/agda-stdlib-master/standard-library.agda-lib" >> $HOME/.agda/libraries
|
||||
|
|
Loading…
Add table
Reference in a new issue