summaryrefslogtreecommitdiff
path: root/nt/configure.bat
diff options
context:
space:
mode:
authorJason Rumney <jasonr@gnu.org>2007-05-31 01:24:44 +0000
committerJason Rumney <jasonr@gnu.org>2007-05-31 01:24:44 +0000
commit6d0b35336951f86f18d45559dbb436e5d9392c55 (patch)
treee5984dea9f776187cb63d1e08ee575893146dac5 /nt/configure.bat
parent32aaa638bbbd3ecee1a31e581cd65b52c44f18dc (diff)
downloademacs-6d0b35336951f86f18d45559dbb436e5d9392c55.tar.gz
Add --with-font-backend option.
Diffstat (limited to 'nt/configure.bat')
-rwxr-xr-xnt/configure.bat9
1 files changed, 9 insertions, 0 deletions
diff --git a/nt/configure.bat b/nt/configure.bat
index 2ff90186445..10d45f76682 100755
--- a/nt/configure.bat
+++ b/nt/configure.bat
@@ -106,6 +106,7 @@ if "%1" == "--without-jpeg" goto withoutjpeg
if "%1" == "--without-gif" goto withoutgif
if "%1" == "--without-tiff" goto withouttiff
if "%1" == "--without-xpm" goto withoutxpm
+if "%1" == "--with-font-backend" goto withfont
if "%1" == "" goto checkutils
:usage
echo Usage: configure [options]
@@ -123,6 +124,7 @@ echo. --without-jpeg do not use jpeg-6b even if it is installed
echo. --without-gif do not use libungif even if it is installed
echo. --without-tiff do not use libtiff even if it is installed
echo. --without-xpm do not use libXpm even if it is installed
+echo. --with-font-backend use the experimental font backend
goto end
rem ----------------------------------------------------------------------
:setprefix
@@ -209,6 +211,12 @@ set HAVE_XPM=
shift
goto again
+:withfont
+set usercflags=%usercflags%%sep1%-DUSE_FONT_BACKEND
+set usefontbackend=Y
+shift
+goto again
+
rem ----------------------------------------------------------------------
rem Check that necessary utilities (cp and rm) are present.
:checkutils
@@ -475,6 +483,7 @@ if (%nocygwin%) == (Y) echo NOCYGWIN=1 >>config.settings
if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix%>>config.settings
if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags%>>config.settings
if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags%>>config.settings
+if (%usefontbackend%) == (Y) echo USE_FONTBACKEND=1 >>config.settings
echo # End of settings from configure.bat>>config.settings
echo. >>config.settings