2015-05-23 13:35:12 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
2015-08-10 00:56:32 +02:00
|
|
|
$PREFIX="/usr"
|
|
|
|
|
2015-05-23 13:35:12 +02:00
|
|
|
case "$1" in
|
|
|
|
"--help"|"help")
|
|
|
|
echo "Usage: $0 {help|debug|release}"
|
|
|
|
exit 1
|
|
|
|
;;
|
|
|
|
"--debug"|"debug")
|
2015-08-10 00:56:32 +02:00
|
|
|
./configure --prefix="$PREFIX" CPPFLAGS="-DDEBUG" CXXFLAGS="-g -O0 -DDEBUG -W -Wall -pedantic"
|
2015-05-23 13:35:12 +02:00
|
|
|
;;
|
|
|
|
"--profile"|"profile")
|
2015-08-10 00:56:32 +02:00
|
|
|
./configure --prefix="$PREFIX" CPPFLAGS="-DDEBUG" CXXFLAGS="-pg -O0 -DDEBUG -W -Wall -pedantic"
|
2015-05-23 13:35:12 +02:00
|
|
|
;;
|
|
|
|
"--release"|"release"|*)
|
2015-08-10 00:56:32 +02:00
|
|
|
./configure --prefix="$PREFIX"
|
2015-05-23 13:35:12 +02:00
|
|
|
;;
|
|
|
|
esac
|
|
|
|
|
|
|
|
make
|
|
|
|
# make install
|