Remove the FLEX support from the build system
authorIan Lynagh <ian@well-typed.com>
Mon, 4 Mar 2013 01:42:27 +0000 (01:42 +0000)
committerIan Lynagh <ian@well-typed.com>
Mon, 4 Mar 2013 15:55:49 +0000 (15:55 +0000)
Most of it was commented out anyway

mk/config.mk.in

index 16faa95..e63b1ea 100644 (file)
@@ -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@