Add release mode to configure script
This commit is contained in:
8
configure
vendored
8
configure
vendored
@@ -26,6 +26,7 @@ ldflagsmt=${LDFLAGSMT:--pthread}
|
|||||||
ldlibsmt=${LDLIBSMT}
|
ldlibsmt=${LDLIBSMT}
|
||||||
platform=""
|
platform=""
|
||||||
display_help="no"
|
display_help="no"
|
||||||
|
release="no"
|
||||||
|
|
||||||
# Parse arguments
|
# Parse arguments
|
||||||
for option do
|
for option do
|
||||||
@@ -63,6 +64,7 @@ for option do
|
|||||||
--enable-lto|--enable-lto=yes) enable_lto="yes" ;;
|
--enable-lto|--enable-lto=yes) enable_lto="yes" ;;
|
||||||
--enable-lto=no) enable_lto="no" ;;
|
--enable-lto=no) enable_lto="no" ;;
|
||||||
--help|-h) display_help="yes" ;;
|
--help|-h) display_help="yes" ;;
|
||||||
|
--release) release="yes" ;;
|
||||||
*) echo "configure: WARNING unrecognized option $option" ;;
|
*) echo "configure: WARNING unrecognized option $option" ;;
|
||||||
esac
|
esac
|
||||||
done
|
done
|
||||||
@@ -96,6 +98,7 @@ Options:
|
|||||||
--enable-benchmarks[=yes|no] Enable benchmarks
|
--enable-benchmarks[=yes|no] Enable benchmarks
|
||||||
--use-clock_gettime[=yes|no] Use of clock_gettime regardless of the support
|
--use-clock_gettime[=yes|no] Use of clock_gettime regardless of the support
|
||||||
--use-short-limbs[=yes|no] Use shorter limbs in big integers
|
--use-short-limbs[=yes|no] Use shorter limbs in big integers
|
||||||
|
--release Build in release mode
|
||||||
EOF
|
EOF
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
@@ -136,6 +139,10 @@ fi
|
|||||||
cflags="-I${source_path}include -I. $cflags"
|
cflags="-I${source_path}include -I. $cflags"
|
||||||
ldlibs="-lm $ldlibs"
|
ldlibs="-lm $ldlibs"
|
||||||
|
|
||||||
|
if [ "$release" = "yes" ]; then
|
||||||
|
cflags="$cflags -DNDEBUG"
|
||||||
|
fi
|
||||||
|
|
||||||
if [ "$enable_pic" = "yes" ]; then
|
if [ "$enable_pic" = "yes" ]; then
|
||||||
cflags="$cflags -fPIC"
|
cflags="$cflags -fPIC"
|
||||||
fi
|
fi
|
||||||
@@ -426,6 +433,7 @@ echo " --- General information --- "
|
|||||||
echo "OS: $os"
|
echo "OS: $os"
|
||||||
echo "Platform: $platform"
|
echo "Platform: $platform"
|
||||||
echo "Source path: $source_path"
|
echo "Source path: $source_path"
|
||||||
|
echo "Release: $release"
|
||||||
echo
|
echo
|
||||||
echo " --- Makefile variables --- "
|
echo " --- Makefile variables --- "
|
||||||
echo "CC: $cc"
|
echo "CC: $cc"
|
||||||
|
|||||||
Reference in New Issue
Block a user