diff options
| author | odanoburu <bcclaro@gmail.com> | 2018-08-11 22:16:28 -0300 |
|---|---|---|
| committer | odanoburu <bcclaro@gmail.com> | 2018-08-11 22:16:28 -0300 |
| commit | dce81dc0eceed0bc40aedd6d7f164a80c3103224 (patch) | |
| tree | 45f3e4e950e0cf9c1834f24a25cfd762613f7f7e /.travis.yml | |
| parent | 29acef41fc841eaab8fd905cbf4b9bbe020aa274 (diff) | |
(#5) reintroduce make install
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index abc7c4a7a..0ca0794b0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -11,4 +11,4 @@ before_install: script: - | docker run --mount src="$(pwd)",target=/home/gfer,type=bind odanoburu/gf-src:3.9 /bin/bash -c "cd /home/gfer/src/runtime/c && - autoreconf -i && ./configure && make ; cd /home/gfer ; cabal install -fserver -fc-runtime --extra-lib-dirs='/usr/local/lib'" + autoreconf -i && ./configure && make && make install ; cd /home/gfer ; cabal install -fserver -fc-runtime --extra-lib-dirs='/usr/local/lib'" |