diff --git a/src/checker/CMakeLists.txt b/src/checker/CMakeLists.txt
index 624372f9ab..23efd9867f 100644
--- a/src/checker/CMakeLists.txt
+++ b/src/checker/CMakeLists.txt
@@ -1,3 +1,4 @@
 add_executable(leanchecker checker.cpp text_import.cpp
         $<TARGET_OBJECTS:util> $<TARGET_OBJECTS:sexpr>
         $<TARGET_OBJECTS:kernel> $<TARGET_OBJECTS:inductive> $<TARGET_OBJECTS:quotient>)
+install(TARGETS leanchecker DESTINATION bin)