blob: e2c4ebb13c09c08be890b718d650bbc631e1d1ea (
plain)
1
2
3
4
5
|
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'
}
|