git.iko.soy/Idris-dev
on master help sign in
Remove travis deps unused since llvm & java backend removals.

* Removed llvm stuff (llvm + libgc) * Removed java stuff (xml + alex, which was used to build language-java) * Removed unused UTF8 import (what the heck)

commit976563b072ad7da7da101b273fa51cf69e3771a5 authorLeif Warner <abimelech@gmail.com> dateTue 7 Jul 2015, 11:56 (11 years ago) parent34d0e95
2 files changed+1−5
compare with master
unifiedsplit
.travis.yml+1−4 src/Idris/CaseSplit.hs−1
.travis.yml+1−4
@@ -6,10 +6,8 @@ ghc:
66 - 7.8
77
88before_install:
9− - sudo add-apt-repository --yes ppa:h-rayflood/llvm
109 - sudo apt-get update -qq
11− - sudo apt-get install -qq libgc-dev llvm-3.3
12− - sudo apt-get install -qq libghc-unordered-containers-dev libghc-mtl-dev libghc-network-dev libghc-xml-dev libghc-transformers-dev libghc-text-dev libghc-utf8-string-dev libghc-vector-dev libghc-split-dev libghc-ansi-terminal-dev libghc-ansi-wl-pprint-dev
10+ - sudo apt-get install -qq libghc-unordered-containers-dev libghc-mtl-dev libghc-network-dev libghc-transformers-dev libghc-text-dev libghc-utf8-string-dev libghc-vector-dev libghc-split-dev libghc-ansi-terminal-dev libghc-ansi-wl-pprint-dev
1311 # trifecta dependencies
1412 - sudo apt-get install -qq libghc-blaze-builder-dev libghc-blaze-html-dev libghc-bifunctors-dev libghc-hashable-dev libghc-semigroups-dev libghc-semigroupoids-dev libghc-parallel-dev libghc-comonad-dev libghc-terminfo-dev libghc-keys-dev
1513 # Haddock dependencies
@@ -17,7 +15,6 @@ before_install:
1715 # test dependency
1816 - sudo apt-get install -qq expect
1917 - sudo apt-get install -qq cppcheck
20− - cabal install alex-3.1.3
2118install:
2219 - cabal install -f FFI --enable-tests --dependencies-only --max-backjumps=-1
2320 - ghc-pkg list
src/Idris/CaseSplit.hs−1
@@ -32,7 +32,6 @@ import Text.Parser.Combinators
3232import Text.Parser.Char(anyChar)
3333import Text.Trifecta(Result(..), parseString)
3434import Text.Trifecta.Delta
35−import qualified Data.ByteString.UTF8 as UTF8
3635
3736import Debug.Trace
3837