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

chore(CMakeLists): enable COMPRESSED_OBJECT_HEADER

Browse source
This commit is contained in:
Leonardo de Moura 2019-08-24 11:58:38 -07:00
parent 88e44d9fdd
commit 2bde205a20
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

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