diff options
| -rwxr-xr-x | pmake46 | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/pmake46 b/pmake46 new file mode 100755 index 000000000..361825e86 --- /dev/null +++ b/pmake46 @@ -0,0 +1,29 @@ +#!/bin/sh + +dir=`pwd` + +export CC=gcc-4.6 +export CXX=g++-4.6 + +#-D_GLIBCXX_PROFILE + +export LANG=C +export CXXFLAGS="-pg -fno-inline -Wunreachable-code -Wmissing-field-initializers \ +-Wabi -Wdisabled-optimization -Wuninitialized \ +-Wvolatile-register-var -Winvalid-pch -Wredundant-decls \ +-Wnormalized=nfkc -Wmissing-format-attribute -Wmissing-noreturn \ +-Wswitch-default -Wsign-promo -Waddress -Wmissing-declarations \ +-Wctor-dtor-privacy -Wstrict-null-sentinel \ +-Wunused-parameter -Wredundant-decls -Wlogical-op \ +-Wempty-body -Wsign-compare -Wclobbered -Wcast-align -Wcast-qual \ +-Wtype-limits -Wpointer-arith -Wundef -Wmissing-include-dirs \ +-Wignored-qualifiers -Winit-self -pedantic -Wall -ggdb3 -O2 -pipe" + +autoreconf -i +./configure --prefix=$dir/run \ + --datadir=$dir/run/share/games \ + --bindir=$dir/run/bin \ + --mandir=$dir/run/share/man + +make -j5 2>make.log + |