add 'make serve' command

Starts up PHP's built-in webserver in the website/ directory.
Useful for testing and development.

See #1831.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index facd3f30bb692a82ed29283d65514e160ba12a83..787baeb23de7e0c9afb7621024d2f448b2c63391 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -141,6 +141,11 @@ if (BUILD_API)
            COMMAND ln -sf ${PROJECT_SOURCE_DIR}/website/${wp} ${PROJECT_BINARY_DIR}/website/
        )
    endforeach()
+
+   add_custom_target(serve
+           php -S 127.0.0.1:8088
+           WORKING_DIRECTORY ${PROJECT_BINARY_DIR}/website
+   )
 endif()
 
 #-----------------------------------------------------------------------------