OLD | NEW |
1 # Copyright 2014 The Chromium Authors. All rights reserved. | 1 # Copyright 2014 The Chromium Authors. All rights reserved. |
2 # Use of this source code is governed by a BSD-style license that can be | 2 # Use of this source code is governed by a BSD-style license that can be |
3 # found in the LICENSE file. | 3 # found in the LICENSE file. |
4 | 4 |
5 config("stp_config") { | 5 config("stp_config") { |
6 include_dirs = [ | 6 include_dirs = [ |
7 "config", | 7 "config", |
8 "src/include", | 8 "src/include", |
9 "src/lib", | 9 "src/lib", |
10 "src/lib/Sat", | 10 "src/lib/Sat", |
(...skipping 350 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
361 ] | 361 ] |
362 } | 362 } |
363 | 363 |
364 action_foreach("generate_lexer") { | 364 action_foreach("generate_lexer") { |
365 script = "flex.py" | 365 script = "flex.py" |
366 sources = [ | 366 sources = [ |
367 "src/lib/Parser/cvc.lex", | 367 "src/lib/Parser/cvc.lex", |
368 "src/lib/Parser/smt.lex", | 368 "src/lib/Parser/smt.lex", |
369 "src/lib/Parser/smt2.lex", | 369 "src/lib/Parser/smt2.lex", |
370 ] | 370 ] |
371 outputs = [ "{{source_gen_dir}}/lex{{source_name_part}}.cpp" ] | 371 outputs = [ |
| 372 "{{source_gen_dir}}/lex{{source_name_part}}.cpp", |
| 373 ] |
372 args = [ | 374 args = [ |
373 "{{source}}", | 375 "{{source}}", |
374 "{{source_name_part}}", | 376 "{{source_name_part}}", |
375 "{{source_gen_dir}}/lex{{source_name_part}}", | 377 "{{source_gen_dir}}/lex{{source_name_part}}", |
376 ] | 378 ] |
377 } | 379 } |
378 | 380 |
379 action_foreach("generate_parser") { | 381 action_foreach("generate_parser") { |
380 script = "bison.py" | 382 script = "bison.py" |
381 sources = [ | 383 sources = [ |
382 "src/lib/Parser/cvc.y", | 384 "src/lib/Parser/cvc.y", |
383 "src/lib/Parser/smt.y", | 385 "src/lib/Parser/smt.y", |
384 "src/lib/Parser/smt2.y", | 386 "src/lib/Parser/smt2.y", |
385 ] | 387 ] |
386 outputs = [ | 388 outputs = [ |
387 "{{source_gen_dir}}/parse{{source_name_part}}.cpp", | 389 "{{source_gen_dir}}/parse{{source_name_part}}.cpp", |
388 "{{source_gen_dir}}/parse{{source_name_part}}.hpp", | 390 "{{source_gen_dir}}/parse{{source_name_part}}.hpp", |
389 ] | 391 ] |
390 args = [ | 392 args = [ |
391 "{{source}}", | 393 "{{source}}", |
392 "{{source_name_part}}", | 394 "{{source_name_part}}", |
393 "{{source_gen_dir}}/parse{{source_name_part}}", | 395 "{{source_gen_dir}}/parse{{source_name_part}}", |
394 ] | 396 ] |
395 } | 397 } |
OLD | NEW |