diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index 44774cd..9a790ca 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -1,5 +1,8 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | cc -mavx2 utils/detect-immintrin.c && detected="AVX2" && rm a.out | ||
| 4 | TYPE=${TYPE-"$detected"} | ||
| 5 | |||
| 3 | STD="-std=c99" | 6 | STD="-std=c99" |
| 4 | WFLAGS="-pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-function" | 7 | WFLAGS="-pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-function" |
| 5 | [ "$TYPE" = "AVX2" ] && AVX="-mavx2" | 8 | [ "$TYPE" = "AVX2" ] && AVX="-mavx2" |
