max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(CMakeLists): set default to OFF

Browse source 
@joehendrix I changed the default to `LLVM=OFF` for now to avoid
disrupting existing projects. It will become `LLVM=ON` after we have
tested it more, and have the JIT integrated.

@kha Could you please set a new Azure pipeline job for `LLVM=ON`?
This commit is contained in:
Leonardo de Moura 2019-08-01 10:15:43 -07:00
parent e5d3a40d82
commit 9e53db95ba
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/CMakeLists.txt
View file

@ -33,7 +33,7 @@ option(JEMALLOC "JEMALLOC" OFF)
# When OFF we disable JSON support to support older compilers
option(JSON "JSON" ON)
# When OFF we disable LLVM support
option(LLVM "LLVM" ON)
option(LLVM "LLVM" OFF)
# When cross-compiling, we do not compile the standard library since
# the executable will not work on the host machine