ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity

Allow unlimited backjumps in solving deps

Browse Source
This commit is contained in:
Niklas Larsson 2015-05-16 15:49:15 +02:00
parent dcdfd8565e
commit 110a144250
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -19,7 +19,7 @@ before_install:
- sudo apt-get install -qq cppcheck
- cabal install alex-3.1.3
install:
- cabal install -f FFI --enable-tests --dependencies-only
- cabal install -f FFI --enable-tests --dependencies-only --max-backjumps=-1
- ghc-pkg list
before_script:
- cabal sdist