diff options
| -rw-r--r-- | mk/config.mk.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 16faa95e68..e63b1eae33 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -424,10 +424,6 @@ WINDOWS_INSTALLER = $(WINDOWS_INSTALLER_BASE)$(exeext) # SRC_HC_OPTS += -H32m -O -# These flags make flex 8-bit -SRC_FLEX_OPTS += -8 - - # ----------------------------------------------------------------------------- # Names of programs in the GHC tree # @@ -596,14 +592,6 @@ DLLTOOL = inplace/mingw/bin/dlltool.exe endif #----------------------------------------------------------------------------- -# Flex (currently unused, could be moved to glafp-utils) - -# FLEX = @LEX@ -# Don't bother with -lfl, we define our own yywrap()s anyway. -# FLEX_LIB = -#WAS:FLEX_LIB = @LEXLIB@ - -#----------------------------------------------------------------------------- # Other standard (ha!) Unix utilities AR = @ArCmd@ |