diff options
author | Jason Rumney <jasonr@gnu.org> | 2007-05-31 01:24:44 +0000 |
---|---|---|
committer | Jason Rumney <jasonr@gnu.org> | 2007-05-31 01:24:44 +0000 |
commit | 6d0b35336951f86f18d45559dbb436e5d9392c55 (patch) | |
tree | e5984dea9f776187cb63d1e08ee575893146dac5 /nt/configure.bat | |
parent | 32aaa638bbbd3ecee1a31e581cd65b52c44f18dc (diff) | |
download | emacs-6d0b35336951f86f18d45559dbb436e5d9392c55.tar.gz |
Add --with-font-backend option.
Diffstat (limited to 'nt/configure.bat')
-rwxr-xr-x | nt/configure.bat | 9 |
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
|