summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorruki <[email protected]>2020-05-09 00:53:32 +0800
committerruki <[email protected]>2020-05-08 23:21:15 +0800
commit6e15213c29915fd2421d54838d04d275f6edfe78 (patch)
treebf9ae1c68b64acd13e078414dc65780a32869624 /scripts
parent8ede8fae2907caa5d188b1471d6fa1eaf5490ca4 (diff)
improve get.sh to detect readline
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/get.sh7
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
}