| 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 |