blob: 4c72953b0a6c98e4ef8e540b60070c104020d549 (
plain)
1
2
3
4
5
6
|
post_install() {
echo -e 'SUGGESTION:\n'
echo -e '\nInstead of using a makefile, you can add the following alias to your ~/.bashrc:'
echo -e " "alias make50="'"'make CC=clang CFLAGS="-fsanitize=signed-integer-overflow -fsanitize=undefined -ggdb3 -O0 -std=c11 -Wall -Werror -Wextra -Wno-sign-compare -Wno-unused-parameter -Wno-unused-variable -Wshadow" LDLIBS="-lcrypt -lcs50 -lm"'"'"'\n'
echo -e '\nThis would require having `clang` installed.'
}
|