2021-07-17 04:53:49 +09:00
|
|
|
diff --git a/configure b/configure
|
2024-11-23 00:23:52 +01:00
|
|
|
index 4794306..76e6334 100755
|
2021-07-17 04:53:49 +09:00
|
|
|
--- a/configure
|
|
|
|
+++ b/configure
|
2023-12-01 02:03:33 -08:00
|
|
|
@@ -20,7 +20,7 @@ for opt do
|
2023-10-03 07:03:31 +08:00
|
|
|
;;
|
|
|
|
--mandir=*) mandir="$optarg"
|
|
|
|
;;
|
2023-03-28 21:33:59 +03: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"
|
|
|
|
;;
|
2024-11-23 00:23:52 +01:00
|
|
|
@@ -30,10 +30,12 @@ for opt do
|
2023-10-03 07:03:31 +08:00
|
|
|
;;
|
2024-11-23 00:23:52 +01:00
|
|
|
--enable-sanitizer) use_sanitizer=yes
|
2021-07-17 04:53:49 +09:00
|
|
|
;;
|
|
|
|
+ --enable-shared) ENABLE_SHARED=1
|
|
|
|
+ ;;
|
|
|
|
+ --enable-static) ENABLE_SHARED=0
|
2023-12-01 02:03:33 -08:00
|
|
|
+ ;;
|
2021-07-17 04:53:49 +09:00
|
|
|
*)
|
2023-12-01 02:03:33 -08:00
|
|
|
echo "ERROR: unknown option $opt"
|
2021-07-17 04:53:49 +09:00
|
|
|
- echo "Try '$0 --help' for more information"
|
|
|
|
- exit 1
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
done
|
2024-11-23 00:23:52 +01:00
|
|
|
@@ -133,6 +135,7 @@ echo "# Automatically generated by configure - do not modify" > $config_host_mak
|
2021-07-17 04:53:49 +09: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.
|