diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 940cd0db41..b39f3d213a 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -445,9 +445,6 @@ set(LEAN_OBJS ${LEAN_OBJS} $<TARGET_OBJECTS:lean_frontend>)
 add_subdirectory(init)
 set(LEAN_OBJS ${LEAN_OBJS} $<TARGET_OBJECTS:init>)
 add_subdirectory(stage0)
-if(STAGE1)
-  add_subdirectory(stage1)
-endif()
 if(EMSCRIPTEN)
     set(LEAN_LIBRARY_TYPE SHARED)
 else()