File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -117,6 +117,25 @@ done
117117echo " Build directory: $BUILD_DIR "
118118echo " Prefix directory: $PREFIX "
119119
120+ # Warn on configurations that imply static/prefix isolation.
121+ # ------------------------------------------------------------------------------
122+ if [[ $BUILD_ICU == yes ]]; then
123+ if [[ ! ($PREFIX )]]; then
124+ echo " Warning: --prefix recommended when building ICU."
125+ fi
126+ if [[ ! ($DISABLE_SHARED ) ]]; then
127+ echo " Warning: --disable-shared recommended when building ICU."
128+ fi
129+ fi
130+ if [[ $BUILD_BOOST == yes ]]; then
131+ if [[ ! ($PREFIX )]]; then
132+ echo " Warning: --prefix recommended when building boost."
133+ fi
134+ if [[ ! ($DISABLE_SHARED ) ]]; then
135+ echo " Warning: --disable-shared recommended when building boost."
136+ fi
137+ fi
138+
120139# Purge custom options so they don't go to configure.
121140# ------------------------------------------------------------------------------
122141CONFIGURE_OPTIONS=( " $@ " )
You can’t perform that action at this time.
0 commit comments