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

chore: disable inconsequential LLVM warning

Browse source 
Emacs always stops scrolling at this warning while building
This commit is contained in:
Sebastian Ullrich 2020-05-19 12:25:07 +02:00 • committed by Leonardo de Moura
parent 3ffea2dfbd
commit 7b2bcbe683
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

@ -250,7 +250,7 @@ if(LLVM)
# that we wish to use and define llvm_libs
llvm_map_components_to_libnames(llvm_libs nativecodegen)
else()
message(WARNING "Disabling LLVM support. JIT compilation will not be available")
#message(WARNING "Disabling LLVM support. JIT compilation will not be available")
endif()
if(STATIC)