commit d637559e9a4c1d416c88109d66b76c3465dbf4c1 parent b9fafceb98e297f82a54709f2bbe0c8c14de61a3 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Wed, 13 Aug 2025 10:41:47 +0200 Fix build help message Diffstat:
| M | build.sh | | | 37 | +++++++++++++++++++------------------ |
1 file changed, 19 insertions(+), 18 deletions(-)
diff --git a/build.sh b/build.sh @@ -170,26 +170,27 @@ fi build_help() { echo "Build system for nissy. Usage:" echo "" - echo "$0 [-d] TARGET # build the given TARGET" - echo "$0 [-d] # same as '$0 nissy [-d]'" - echo "$0 test [PATTERN] # run unit tests (matching PATTERN)" - echo "$0 webtest [PATTERN] # same as test, but for WASM build" - echo "$0 [-d] tool PATTERN # run the tool matching PATTERN" + echo "$0 [-d] [TARGET]" echo "" - echo "targets:" + echo "Possible values for TARGET (defaults to 'nissy' if unspecified):" echo "" - echo "nissy Build the nissy.o object file" - echo "lib Build the static library libnissy.a" - echo "sharedlib Build the shared library libnissy.so" - echo "python Build the Python module for nissy" - echo "shell Build a basic nissy shell (./run)" - echo "web Build the WebAssembly / JavaScript module for nissy" - echo "cpp FILES Build and run the given FILES including cpp/nissy.h" - echo "solvetest Build nissy and run the tests for solvers (tools)" - echo "" - echo "help Show this help message" - echo "config Show build configuration and exit" - echo "clean Remove all build files" + echo "nissy Build the nissy.o object file." + echo "lib Build the static library libnissy.a." + echo "sharedlib Build the shared library libnissy.so." + echo "python Build the Python module for nissy." + echo "shell Build a basic nissy shell (./run)." + echo "web Build the WebAssembly module for nissy." + echo "cpp FILES Build and run the given C++ FILES." + echo "test [EXPR] Build and run unit tests. If EXPR is provided," + echo " only the tests whose name matches EXPR are run." + echo " The -d option is always implied." + echo "webtest [EXPR] Same as test, but for WebAssembly build." + echo "tool EXPR Run the 'tool' matching the given EXPR." + echo "solvetest Build nissy and run a collection of tools for" + echo " testing various solvers." + echo "help Show this help message." + echo "config Show build configuration and exit." + echo "clean Remove all build files." echo "" echo "The -d option activates debug mode (slower, used for testing)." echo "Tests are automatically built in debug mode even without -d."