diff --git a/contrib/cmake/examples/CMakeLists.txt b/contrib/cmake/examples/CMakeLists.txt
index e596ed3dd..04df6e6b4 100644
--- a/contrib/cmake/examples/CMakeLists.txt
+++ b/contrib/cmake/examples/CMakeLists.txt
@@ -1,4 +1,6 @@
 add_subdirectory(c)
 add_subdirectory(c++)
 add_subdirectory(tptp)
-add_subdirectory(python)
+if (BUILD_PYTHON_BINDINGS)
+  add_subdirectory(python)
+endif()