diff options
Diffstat (limited to 'ports/lemon/remove-directory.patch')
| -rw-r--r-- | ports/lemon/remove-directory.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/ports/lemon/remove-directory.patch b/ports/lemon/remove-directory.patch new file mode 100644 index 000000000..bda2c51ae --- /dev/null +++ b/ports/lemon/remove-directory.patch @@ -0,0 +1,21 @@ +diff --git a/CMakeLists.txt b/CMakeLists.txt
+index 03e1cc7..edbd05f 100644
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -256,11 +256,11 @@ ENDIF()
+
+ ADD_SUBDIRECTORY(lemon)
+ IF(${CMAKE_SOURCE_DIR} STREQUAL ${PROJECT_SOURCE_DIR})
+- ADD_SUBDIRECTORY(contrib)
+- ADD_SUBDIRECTORY(demo)
+- ADD_SUBDIRECTORY(tools)
+- ADD_SUBDIRECTORY(doc)
+- ADD_SUBDIRECTORY(test)
++ # ADD_SUBDIRECTORY(contrib)
++ # ADD_SUBDIRECTORY(demo)
++ # ADD_SUBDIRECTORY(tools)
++ # ADD_SUBDIRECTORY(doc)
++ # ADD_SUBDIRECTORY(test)
+ ENDIF()
+
+ CONFIGURE_FILE(
|
