michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(builtin): dependency

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-12-30 15:31:19 -08:00
parent 931e196e83
commit 909b10f515
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/builtin/CMakeLists.txt
View file

@ -72,5 +72,5 @@ add_kernel_theory("nat.lean" "${CMAKE_CURRENT_BINARY_DIR}/kernel.olean")
add_theory("int.lean" "${CMAKE_CURRENT_BINARY_DIR}/nat.olean") add_theory("int.lean" "${CMAKE_CURRENT_BINARY_DIR}/nat.olean")
add_theory("real.lean" "${CMAKE_CURRENT_BINARY_DIR}/int.olean") add_theory("real.lean" "${CMAKE_CURRENT_BINARY_DIR}/int.olean")
add_theory("specialfn.lean" "${CMAKE_CURRENT_BINARY_DIR}/real.olean") add_theory("specialfn.lean" "${CMAKE_CURRENT_BINARY_DIR}/real.olean")
add_theory("cast.lean" "${CMAKE_CURRENT_BINARY_DIR}/kernel.olean") add_theory("cast.lean" "${CMAKE_CURRENT_BINARY_DIR}/nat.olean")