diff options
Diffstat (limited to 'third_party/waf/wafadmin/Tools/flex.py')
-rw-r--r-- | third_party/waf/wafadmin/Tools/flex.py | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/third_party/waf/wafadmin/Tools/flex.py b/third_party/waf/wafadmin/Tools/flex.py deleted file mode 100644 index cbea42db2c9..00000000000 --- a/third_party/waf/wafadmin/Tools/flex.py +++ /dev/null @@ -1,24 +0,0 @@ -#!/usr/bin/env python -# encoding: utf-8 -# John O'Meara, 2006 -# Thomas Nagy, 2006-2008 - -"Flex processing" - -import TaskGen - -def decide_ext(self, node): - if 'cxx' in self.features: return '.lex.cc' - else: return '.lex.c' - -TaskGen.declare_chain( - name = 'flex', - rule = '${FLEX} -o${TGT} ${FLEXFLAGS} ${SRC}', - ext_in = '.l', - ext_out = '.c .cxx', - decider = decide_ext -) - -def detect(conf): - conf.find_program('flex', var='FLEX', mandatory=True) - conf.env['FLEXFLAGS'] = '' |