lingeling configs still need minion (and hence a c++ compiler)

conjure-cp · May 10, 2016 · 29d8a5f · 29d8a5f
1 parent 6cfda56
commit 29d8a5f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -34,10 +34,10 @@ matrix:
       addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [g++-4.9, cabal-install-1.24, ghc-7.8.4]}}
     - env: GHC_VERSION=7.8.4 SR_OPTIONS="-O0" SOLVER=lingeling
       compiler: "# GHC 7.8.4"
-      addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [gcc-4.9, cabal-install-1.24, ghc-7.8.4]}}
+      addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [gcc-4.9, g++-4.9, cabal-install-1.24, ghc-7.8.4]}}
     - env: GHC_VERSION=7.8.4 SR_OPTIONS="-O2" SOLVER=lingeling
       compiler: "# GHC 7.8.4"
-      addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [gcc-4.9, cabal-install-1.24, ghc-7.8.4]}}
+      addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [gcc-4.9, g++-4.9, cabal-install-1.24, ghc-7.8.4]}}
     - env: GHC_VERSION=7.10.3 SR_OPTIONS="-O0" SOLVER=minion
       compiler: "# GHC 7.10.3"
       addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [g++-4.9, cabal-install-1.24, ghc-7.10.3]}}
@@ -46,10 +46,10 @@ matrix:
       addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [g++-4.9, cabal-install-1.24, ghc-7.10.3]}}
     - env: GHC_VERSION=7.10.3 SR_OPTIONS="-O0" SOLVER=lingeling
       compiler: "# GHC 7.10.3"
-      addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [gcc-4.9, cabal-install-1.24, ghc-7.10.3]}}
+      addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [gcc-4.9, g++-4.9, cabal-install-1.24, ghc-7.10.3]}}
     - env: GHC_VERSION=7.10.3 SR_OPTIONS="-O2" SOLVER=lingeling
       compiler: "# GHC 7.10.3"
-      addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [gcc-4.9, cabal-install-1.24, ghc-7.10.3]}}
+      addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [gcc-4.9, g++-4.9, cabal-install-1.24, ghc-7.10.3]}}
     - env: GHC_VERSION=head SR_OPTIONS="-O2" SOLVER=minion
       compiler: "# GHC head"
       addons: {apt: {sources: [hvr-ghc, ubuntu-toolchain-r-test], packages: [g++-4.9, cabal-install-1.24, ghc-head]}}