diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-10 14:30:39 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-10 14:30:39 +0200 |
| commit | f8d247c53c3c3bd94fed645b5b47a9096cadc123 (patch) | |
| tree | 7a62cc7322ea8175a7df9b655d4a9d5e026a004a /configure.sh | |
| parent | 2e93de4ad102973961cb24d5b91f0c299763299f (diff) | |
| download | nissy-core-f8d247c53c3c3bd94fed645b5b47a9096cadc123.tar.gz nissy-core-f8d247c53c3c3bd94fed645b5b47a9096cadc123.zip | |
Removed "options" from solver selection
Now the solver name fully determines the solver (and options)
to be used. For example, now one must specify "h48h0k4" as the
name of the solver.
This PR also fixes a couple of things in tools.
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index 09d1310..51e1089 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -71,6 +71,7 @@ validatearch() { | |||
| 71 | ;; | 71 | ;; |
| 72 | *) | 72 | *) |
| 73 | echo "Error: architecture '$ARCH' not supported" | 73 | echo "Error: architecture '$ARCH' not supported" |
| 74 | echo "Supported architectures: AVX2, NEON, PORTABLE" | ||
| 74 | exit 1 | 75 | exit 1 |
| 75 | ;; | 76 | ;; |
| 76 | esac | 77 | esac |