40 lines
538 B
Bash
Executable File
40 lines
538 B
Bash
Executable File
#!/bin/sh
|
|
|
|
#Make
|
|
if ! make -h > /dev/null; then
|
|
echo "[FAILED] Make is not installed..."
|
|
exit 1
|
|
|
|
fi
|
|
|
|
#Git
|
|
if git > /dev/null; then
|
|
echo "[FAILED] Git is not installed..."
|
|
exit 1
|
|
|
|
fi
|
|
|
|
#Texinfo
|
|
if ! makeinfo -h > /dev/null; then
|
|
echo "[FAILED] Texinfo is not installed..."
|
|
exit 1
|
|
|
|
fi
|
|
|
|
#C
|
|
out_name=$(mktemp XXXXXX)
|
|
|
|
echo -e "#include <stdio.h>\nint main(void){return 0;}" > test.c
|
|
|
|
$CC test.c -o $out_name
|
|
chmod +x $out_name
|
|
rm test.c $out_name
|
|
|
|
if ! ./$out_name; then
|
|
echo "[FAILED] Fix c compiler or headers..."
|
|
exit 1
|
|
|
|
fi
|
|
|
|
exit 0
|