29 tools_dir = os.path.dirname(os.path.realpath(__file__))
30 spec_parser_dir = os.path.join(tools_dir,
'spec_parser')
31 spec_parser_file = os.path.join(spec_parser_dir,
'SpecParser.class')
32 antlr_jar =
'/usr/share/java/antlr4-runtime.jar'
33 class_path =
':'.join([spec_parser_dir, antlr_jar])
34 command = [
'java',
'-cp', class_path,
'SpecParser'] + args
36 if not os.path.exists(antlr_jar):
Help(antlr_jar)
37 if not os.path.exists(spec_parser_file):
38 Help(
'"make parser" in spec_parser')
40 return subprocess.call(command)