diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index ea73071c1..11b2a8606 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -367,6 +367,7 @@ add_subdirectory(tests/library)
 add_subdirectory(tests/library/blast)
 add_subdirectory(tests/frontends/lean)
 add_subdirectory(tests/shell)
+add_subdirectory(tests/shared)
 
 # Include style check
 if (NOT(${CMAKE_SYSTEM_NAME} MATCHES "Windows"))
diff --git a/src/tests/shared/CMakeLists.txt b/src/tests/shared/CMakeLists.txt
new file mode 100644
index 000000000..2a220d0c6
--- /dev/null
+++ b/src/tests/shared/CMakeLists.txt
@@ -0,0 +1,2 @@
+add_executable(shared_test shared.cpp)
+target_link_libraries(shared_test ${EXTRA_LIBS} leanshared)
diff --git a/src/tests/shared/shared.cpp b/src/tests/shared/shared.cpp
new file mode 100644
index 000000000..a1704741c
--- /dev/null
+++ b/src/tests/shared/shared.cpp
@@ -0,0 +1,15 @@
+/*
+Copyright (c) 2015 Microsoft Corporation. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+
+Author: Leonardo de Moura
+*/
+#include "kernel/environment.h"
+#include "init/init.h"
+
+int main() {
+    lean::initializer init;
+    lean::environment env;
+    std::cout << "Lean (empty) environment was successfully created\n";
+    return 0;
+}