From d637559e9a4c1d416c88109d66b76c3465dbf4c1 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Wed, 13 Aug 2025 10:41:47 +0200 Subject: Fix build help message --- build.sh | 37 +++++++++++++++++++------------------ 1 file changed, 19 insertions(+), 18 deletions(-) (limited to 'build.sh') diff --git a/build.sh b/build.sh index cad6947..7cd38e3 100755 --- 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." -- cgit v1.3