search

leanprover / lean3

Lean Theorem Prover
http://leanprover.github.io/
Apache License 2.0
2.15k stars 217 forks source link

I cannot find native_compiler.h and some other header files in src folder while building #1985

Closed NeverLandFly closed 5 years ago

NeverLandFly commented 5 years ago

https://github.com/leanprover/lean/blob/ceacfa7445953cbc8860ddabc55407430a9ca5c3/src/library/native_compiler/native_compiler.cpp#L30

Kha commented 5 years ago

Something is wrong with your build setup, this file is not actually included by CMake anywhere.

NeverLandFly commented 5 years ago

I have found the right CMake file. Thanks.