diff options
| author | odanoburu <bcclaro@gmail.com> | 2018-08-11 22:02:08 -0300 |
|---|---|---|
| committer | odanoburu <bcclaro@gmail.com> | 2018-08-11 22:02:08 -0300 |
| commit | df31ab241b91975d7da48859d8bbf6ecb5bb1adf (patch) | |
| tree | b597acde52e813894199d4b9f05ed34bf3ef9025 | |
| parent | 35304c857712276062e05052f2e6e18f5f4c1edd (diff) | |
(#5) add travis CI with docker
dependencies are preinstalled in docker image for faster build, but this means we need to update it whenever dependencies change
| -rw-r--r-- | .travis.yml | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 50d53fc4e..69f4313ba 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,2 +1,14 @@ -language: nix -script: rm -rf .git && nix-build gf.nix +sudo: required + +language: c + +services: + - docker + +before_install: + - docker pull odanoburu/gf-src:3.9 + +script: + - | + docker run --mount src="$(pwd)",target=/home/gfer,type=bind odanoburu/gf-src /bin/bash -c "cd /home/gfer/src/runtime/c && + autoreconf -i && ./configure && make && make install ; cd /home/gfer ; cabal install -fserver -fc-runtime --extra-lib-dirs='/usr/local/lib'" |