Try to default java easily
commit7104f7e0f70e796ff87b5fbb7fb9f0990d31bba9
authorJosh Berman <berman.josh@gmail.com>
dateSun 4 Dec 2016, 22:27 (10 years ago)
parent1f7d4a5
.travis.yml+1
@@ -5,6 +5,7 @@ addons:
55 packages:
66 - libgmp-dev
77 - oracle-java8-installer
8+ - oracle-java8-set-default
89
910env:
1011 # - GHCVER=7.6.3 ESVER=1.6.0 # Deprecated