diff --git a/plugins/CMakeLists.txt b/plugins/CMakeLists.txt index 8528c9028..7ff9ed6b5 100644 --- a/plugins/CMakeLists.txt +++ b/plugins/CMakeLists.txt @@ -15,6 +15,11 @@ if(BUILD_STONESENSE) add_subdirectory (stonesense) endif() +OPTION(BUILD_ISOWORLD "Build isoworld (needs a checkout first)." OFF) +if(BUILD_ISOWORLD) + add_subdirectory (isoworld) +endif() + OPTION(BUILD_DEV_PLUGINS "Build developer plugins." OFF) if(BUILD_DEV_PLUGINS) add_subdirectory (devel) diff --git a/plugins/isoworld b/plugins/isoworld new file mode 160000 index 000000000..d8d8a836b --- /dev/null +++ b/plugins/isoworld @@ -0,0 +1 @@ +Subproject commit d8d8a836bb9fb0d27861a17aa1f772a4575acffd