2021-07-17 03:53:49 +08:00
|
|
|
diff --git a/configure b/configure
|
2023-10-03 07:03:31 +08:00
|
|
|
index 28f3eb0..b3ac6bc 100755
|
2021-07-17 03:53:49 +08:00
|
|
|
--- a/configure
|
|
|
|
+++ b/configure
|
2023-10-03 07:03:31 +08:00
|
|
|
@@ -36,7 +36,7 @@ for opt do
|
|
|
|
;;
|
|
|
|
--mandir=*) mandir="$optarg"
|
|
|
|
;;
|
2023-03-29 02:33:59 +08:00
|
|
|
- --datadir=*) datadir="$optarg"
|
|
|
|
+ --datarootdir=*) datadir="$optarg"
|
2022-09-16 02:44:02 +08:00
|
|
|
;;
|
2023-10-03 07:03:31 +08:00
|
|
|
--cc=*) cc="$optarg"
|
|
|
|
;;
|
|
|
|
@@ -44,10 +44,12 @@ for opt do
|
|
|
|
;;
|
|
|
|
--nolibc) nolibc_deprecated
|
2021-07-17 03:53:49 +08:00
|
|
|
;;
|
|
|
|
+ --enable-shared) ENABLE_SHARED=1
|
|
|
|
+ ;;
|
|
|
|
+ --enable-static) ENABLE_SHARED=0
|
2022-09-16 02:44:02 +08:00
|
|
|
+ ;;
|
2021-07-17 03:53:49 +08:00
|
|
|
*)
|
|
|
|
- echo "ERROR: unknown option $opt"
|
|
|
|
- echo "Try '$0 --help' for more information"
|
|
|
|
- exit 1
|
|
|
|
+ echo "WARNING: unknown option $opt"
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
done
|
2023-10-03 07:03:31 +08:00
|
|
|
@@ -146,6 +148,7 @@ echo "# Automatically generated by configure - do not modify" > $config_host_mak
|
2021-07-17 03:53:49 +08:00
|
|
|
printf "# Configured with:" >> $config_host_mak
|
|
|
|
printf " '%s'" "$0" "$@" >> $config_host_mak
|
|
|
|
echo >> $config_host_mak
|
|
|
|
+echo "ENABLE_SHARED=${ENABLE_SHARED}" >> $config_host_mak
|
|
|
|
|
|
|
|
do_cxx() {
|
|
|
|
# Run the compiler, capturing its output to the log.
|