diff --git a/eo/app/CMakeLists.txt b/eo/app/CMakeLists.txt
index b57cce22..d13aac52 100644
--- a/eo/app/CMakeLists.txt
+++ b/eo/app/CMakeLists.txt
@@ -2,7 +2,7 @@
 ### 1) Where must cmake go now ?
 ######################################################################################
 
-ADD_SUBDIRECTORY(gprop)
+#ADD_SUBDIRECTORY(gprop)
 #ADD_SUBDIRECTORY(gpsymreg)
 ADD_SUBDIRECTORY(mastermind)
 ######################################################################################