LLVM and FFI flags default to off
This is primarily so that installation is easier for new users. Users
who want these features can of course turn them on easily enough!
(Ideally, we want binary packages which will switch everything on.)
commitdefc795de5084337f31ce11b4952d361c68ea5d6
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 31 Oct 2013, 20:58 (13 years ago)
parentee06cf1
.travis.yml+1−1
@@ -9,7 +9,7 @@ before_script:
99 - tar -xf Idris-dev/dist/idris*.tar.gz
1010 - cd idris*
1111script:
12− - cabal configure
12+ - cabal configure -f FFI -f LLVM
1313 - cabal build
1414 - cabal copy
1515 - make -j2 test
idris.cabal+2−2
@@ -286,12 +286,12 @@ Flag Effects
286286
287287Flag LLVM
288288 Description: Build the LLVM backend
289− Default: True
289+ Default: False
290290 manual: True
291291
292292Flag FFI
293293 Description: Build support for libffi
294− Default: True
294+ Default: False
295295 manual: True
296296
297297Executable idris