187411e25f
The debugger now can be enabled without setting CONFIGURE_ARGS. To turn it on use ./.conf.linux normal debugger or ./.conf.linux plugins debugger
93 lines
2.6 KiB
Bash
Executable File
93 lines
2.6 KiB
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# .conf.linux
|
|
#
|
|
if test $# = 0; then
|
|
which_config=plugins
|
|
else
|
|
which_config=$1
|
|
if test $# = 2; then
|
|
if test $2 = debugger; then
|
|
CONFIGURE_ARGS=--enable-debugger
|
|
fi
|
|
fi
|
|
fi
|
|
|
|
CC="gcc"
|
|
CXX="c++"
|
|
CFLAGS="-Wall -O3 -fomit-frame-pointer -pipe" # for speed
|
|
#CFLAGS="-Wall -g -pipe" # for development
|
|
CXXFLAGS="$CFLAGS"
|
|
|
|
export CC
|
|
export CXX
|
|
export CFLAGS
|
|
export CXXFLAGS
|
|
|
|
|
|
case $which_config in
|
|
|
|
normal)
|
|
|
|
#######################################################################
|
|
# configuration 1 for release binary RPMs
|
|
# Include a few standard options, speed optimizations, X11 only.
|
|
#######################################################################
|
|
./configure --enable-sb16 \
|
|
--enable-ne2000 \
|
|
--enable-all-optimizations \
|
|
--enable-cpu-level=6 \
|
|
--enable-x86-64 \
|
|
--enable-vmx=2 \
|
|
--enable-svm \
|
|
--enable-avx \
|
|
--enable-evex \
|
|
--enable-cet \
|
|
--enable-pci \
|
|
--enable-clgd54xx \
|
|
--enable-voodoo \
|
|
--enable-usb \
|
|
--enable-usb-ohci \
|
|
--enable-usb-ehci \
|
|
--enable-usb-xhci \
|
|
--enable-busmouse \
|
|
--enable-es1370 \
|
|
--enable-e1000 \
|
|
--enable-show-ips \
|
|
${CONFIGURE_ARGS}
|
|
;;
|
|
|
|
plugins)
|
|
#######################################################################
|
|
# configuration 2 for release binary RPMs
|
|
# Include plugins, every possible gui.
|
|
#######################################################################
|
|
./configure --enable-sb16 \
|
|
--enable-ne2000 \
|
|
--enable-all-optimizations \
|
|
--enable-cpu-level=6 \
|
|
--enable-x86-64 \
|
|
--enable-vmx=2 \
|
|
--enable-svm \
|
|
--enable-avx \
|
|
--enable-evex \
|
|
--enable-cet \
|
|
--enable-pci \
|
|
--enable-clgd54xx \
|
|
--enable-voodoo \
|
|
--enable-usb \
|
|
--enable-usb-ohci \
|
|
--enable-usb-ehci \
|
|
--enable-usb-xhci \
|
|
--enable-busmouse \
|
|
--enable-es1370 \
|
|
--enable-e1000 \
|
|
--enable-plugins \
|
|
--enable-show-ips \
|
|
--with-all-libs \
|
|
${CONFIGURE_ARGS}
|
|
;;
|
|
*) echo "Unknown config \"$1\" selected!" ;;
|
|
|
|
esac
|