From 29acef41fc841eaab8fd905cbf4b9bbe020aa274 Mon Sep 17 00:00:00 2001 From: odanoburu Date: Sat, 11 Aug 2018 22:11:27 -0300 Subject: [PATCH] (#5) specify image version --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 58fee17e0..abc7c4a7a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -10,5 +10,5 @@ before_install: script: - | - docker run --mount src="$(pwd)",target=/home/gfer,type=bind odanoburu/gf-src /bin/bash -c "cd /home/gfer/src/runtime/c && + 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'"