From d44925f94321f33bce76929b9245570024a8d55b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 25 Dec 2013 16:20:25 -0800
Subject: [PATCH] fix(build): missing file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/extra/CMakeLists.txt | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/extra/CMakeLists.txt

diff --git a/src/extra/CMakeLists.txt b/src/extra/CMakeLists.txt
new file mode 100644
index 000000000..0b860b877
--- /dev/null
+++ b/src/extra/CMakeLists.txt
@@ -0,0 +1,9 @@
+file(GLOB LEANLIB "${LEAN_SOURCE_DIR}/extra/*.lean")
+FOREACH(FILE ${LEANLIB})
+   install_files(/library FILES ${FILE})
+ENDFOREACH(FILE)
+
+file(GLOB LEANLIB "${LEAN_SOURCE_DIR}/extra/*.lua")
+FOREACH(FILE ${LEANLIB})
+   install_files(/library FILES ${FILE})
+ENDFOREACH(FILE)