diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-13 10:41:47 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-13 10:56:07 +0200 |
| commit | d637559e9a4c1d416c88109d66b76c3465dbf4c1 (patch) | |
| tree | 8ebc2434164807327f089204ab4b5d44beec9404 | |
| parent | b9fafceb98e297f82a54709f2bbe0c8c14de61a3 (diff) | |
| download | nissy-core-d637559e9a4c1d416c88109d66b76c3465dbf4c1.tar.gz nissy-core-d637559e9a4c1d416c88109d66b76c3465dbf4c1.zip | |
Fix build help message
Diffstat (limited to '')
| -rwxr-xr-x | build.sh | 37 |
1 files changed, 19 insertions, 18 deletions
| @@ -170,26 +170,27 @@ fi | |||
| 170 | build_help() { | 170 | build_help() { |
| 171 | echo "Build system for nissy. Usage:" | 171 | echo "Build system for nissy. Usage:" |
| 172 | echo "" | 172 | echo "" |
| 173 | echo "$0 [-d] TARGET # build the given TARGET" | 173 | echo "$0 [-d] [TARGET]" |
| 174 | echo "$0 [-d] # same as '$0 nissy [-d]'" | ||
| 175 | echo "$0 test [PATTERN] # run unit tests (matching PATTERN)" | ||
| 176 | echo "$0 webtest [PATTERN] # same as test, but for WASM build" | ||
| 177 | echo "$0 [-d] tool PATTERN # run the tool matching PATTERN" | ||
| 178 | echo "" | 174 | echo "" |
| 179 | echo "targets:" | 175 | echo "Possible values for TARGET (defaults to 'nissy' if unspecified):" |
| 180 | echo "" | 176 | echo "" |
| 181 | echo "nissy Build the nissy.o object file" | 177 | echo "nissy Build the nissy.o object file." |
| 182 | echo "lib Build the static library libnissy.a" | 178 | echo "lib Build the static library libnissy.a." |
| 183 | echo "sharedlib Build the shared library libnissy.so" | 179 | echo "sharedlib Build the shared library libnissy.so." |
| 184 | echo "python Build the Python module for nissy" | 180 | echo "python Build the Python module for nissy." |
| 185 | echo "shell Build a basic nissy shell (./run)" | 181 | echo "shell Build a basic nissy shell (./run)." |
| 186 | echo "web Build the WebAssembly / JavaScript module for nissy" | 182 | echo "web Build the WebAssembly module for nissy." |
| 187 | echo "cpp FILES Build and run the given FILES including cpp/nissy.h" | 183 | echo "cpp FILES Build and run the given C++ FILES." |
| 188 | echo "solvetest Build nissy and run the tests for solvers (tools)" | 184 | echo "test [EXPR] Build and run unit tests. If EXPR is provided," |
| 189 | echo "" | 185 | echo " only the tests whose name matches EXPR are run." |
| 190 | echo "help Show this help message" | 186 | echo " The -d option is always implied." |
| 191 | echo "config Show build configuration and exit" | 187 | echo "webtest [EXPR] Same as test, but for WebAssembly build." |
| 192 | echo "clean Remove all build files" | 188 | echo "tool EXPR Run the 'tool' matching the given EXPR." |
| 189 | echo "solvetest Build nissy and run a collection of tools for" | ||
| 190 | echo " testing various solvers." | ||
| 191 | echo "help Show this help message." | ||
| 192 | echo "config Show build configuration and exit." | ||
| 193 | echo "clean Remove all build files." | ||
| 193 | echo "" | 194 | echo "" |
| 194 | echo "The -d option activates debug mode (slower, used for testing)." | 195 | echo "The -d option activates debug mode (slower, used for testing)." |
| 195 | echo "Tests are automatically built in debug mode even without -d." | 196 | echo "Tests are automatically built in debug mode even without -d." |