Update configure script for compatibility with current unstable jhbuild.

This commit is contained in:
Michael James Gratton 2017-02-02 15:16:45 +11:00
parent bac17b720b
commit 8c4c1aefa9

27
configure vendored Executable file → Normal file
View file

@ -71,17 +71,28 @@ do
-h | --help) configure_help
exit 0
;;
--prefix) [ ! $value ] && abort $1
--prefix) if [ -z "$value"]; then
# handle jhbuild's use of "--prefix /path"
value="$2"
shift
fi
[ ! "$value" ] && abort $1
CMDLINE="${CMDLINE} -DCMAKE_INSTALL_PREFIX=${value}"
;;
# ignored for autotools compatibility
--bindir | --libdir | --sbindir |--datadir | --localstatedir | --includedir) ;;
--infodir | --sysconfdir | --mandir | --libexecdir) ;;
# ignored for autotools compatibility
--bindir | --libdir | --sbindir | --datadir | --localstatedir | \
--includedir | --infodir | --sysconfdir | --mandir | --libexecdir)
if [ -z "$value"]; then
# handle jhbuild's use of "--option /path"
value="$2"
shift
fi
;;
--build | --host | --target) ;;
--disable-silent-rules | --disable-static ) ;;
--disable-gtk-doc | --disable-silent-rules | --disable-static ) ;;
--debug)
CMDLINE="${CMDLINE} -DCMAKE_BUILD_TYPE=Debug"
;;