git.iko.soy/Idris-dev
on master help sign in
LLVM and FFI flags default to off
defc795Edwin Brady
.travis.yml+1−1
compare with master
unifiedsplit
@@ -9,7 +9,7 @@ before_script:
9 - tar -xf Idris-dev/dist/idris*.tar.gz
9 - tar -xf Idris-dev/dist/idris*.tar.gz
10 - cd idris*
10 - cd idris*
11script:
11script:
12− - cabal configure
12+ - cabal configure -f FFI -f LLVM
13 - cabal build
13 - cabal build
14 - cabal copy
14 - cabal copy
15 - make -j2 test
15 - make -j2 test
idris.cabal+2−2
@@ -286,12 +286,12 @@ Flag Effects
286
286
287Flag LLVM
287Flag LLVM
288 Description: Build the LLVM backend
288 Description: Build the LLVM backend
289− Default: True
289+ Default: False
290 manual: True
290 manual: True
291
291
292Flag FFI
292Flag FFI
293 Description: Build support for libffi
293 Description: Build support for libffi
294− Default: True
294+ Default: False
295 manual: True
295 manual: True
296
296
297Executable idris
297Executable idris