diff options
| author | ruki <[email protected]> | 2020-05-09 00:53:32 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-05-08 23:21:15 +0800 |
| commit | 6e15213c29915fd2421d54838d04d275f6edfe78 (patch) | |
| tree | bf9ae1c68b64acd13e078414dc65780a32869624 /scripts | |
| parent | 8ede8fae2907caa5d188b1471d6fa1eaf5490ca4 (diff) | |
improve get.sh to detect readline
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 9d20fbd80..0e8609f43 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -133,14 +133,17 @@ my_exit(){ } test_tools() { - prog='#include<stdio.h>\n#include<readline/readline.h>\nint main(){readline(0);return 0;}' + prog='#include <stdio.h>\n#include <readline/readline.h>\nint main(){readline(0);return 0;}' { git --version && $make --version && { echo -e "$prog" | cc -xc - -o /dev/null -lreadline || echo -e "$prog" | gcc -xc - -o /dev/null -lreadline || - echo -e "$prog" | clang -xc - -o /dev/null -lreadline + echo -e "$prog" | clang -xc - -o /dev/null -lreadline || + echo -e "$prog" | cc -xc - -o /dev/null -I/usr/local/include -L/usr/local/lib -lreadline || + echo -e "$prog" | gcc -xc - -o /dev/null -I/usr/local/include -L/usr/local/lib -lreadline || + echo -e "$prog" | clang -xc - -o /dev/null -I/usr/local/include -L/usr/local/lib -lreadline } } >/dev/null 2>&1 } |
