From fb3d68d1721cd060b8f67971c6148e97816d2bc7 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Mon, 23 Jan 2017 21:09:00 +0100
Subject: [PATCH] chore(checker): install leanchecker

---
 src/checker/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

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)