3
# This is a script for PGO - Profile Guided Optimisations in gcc.
12
if test "$mode" = "use" ; then
13
if test "$compiler" = "gcc" ; then
14
pgo_flags="-fprofile-use"
15
elif test "$compiler" = "icc" ; then
18
echo "Unknown compiler '$compiler'!" 1>&2
21
elif test "$mode" = "gen" ; then
22
if test "$compiler" = "gcc" ; then
23
pgo_flags="-fprofile-generate"
24
elif test "$compiler" = "icc" ; then
27
echo "Unknown compiler '$compiler'!" 1>&2
31
echo "Unknown mode '$mode'!" 1>&2
35
make -f Makefile.gnu FREECELL_ONLY=1 \
36
CFLAGS="-DFCS_FREECELL_ONLY=1 -O3 -Wall -march=pentium4 -fomit-frame-pointer $pgo_flags -fPIC" \