diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-12-14 11:59:22 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-12-14 11:59:22 +0100 |
| commit | 4a88a686d5e08404080ed6954b70c0db252aa220 (patch) | |
| tree | c1fb469d5a2a68c8e4651ad7837d3dd6fe2ff93e /configure.sh | |
| parent | 9ac266c76f39620d8343e46ca41cb09d1534384c (diff) | |
| download | nissy-core-4a88a686d5e08404080ed6954b70c0db252aa220.tar.gz nissy-core-4a88a686d5e08404080ed6954b70c0db252aa220.zip | |
Allow choosing number of threads when calling solve()
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index aac6444..ec0343a 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -14,7 +14,9 @@ | |||
| 14 | # The string "architecture" must be one of "AVX2", "NEON" or "PORTABLE". | 14 | # The string "architecture" must be one of "AVX2", "NEON" or "PORTABLE". |
| 15 | # | 15 | # |
| 16 | # THREADS=n | 16 | # THREADS=n |
| 17 | # Choose how many threads to use for multi-threaded oerations. | 17 | # The maximum number of threads to use for multi-threaded operations. |
| 18 | # This is also used as default value in case an operation allows | ||
| 19 | # specifying how many threads to use. | ||
| 18 | # By default, 8 threads will be used (TODO: in the future this will be | 20 | # By default, 8 threads will be used (TODO: in the future this will be |
| 19 | # determined base on the system). | 21 | # determined base on the system). |
| 20 | # The number n must be between 1 and 128. | 22 | # The number n must be between 1 and 128. |