| 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 12 matching lines...) Expand all Loading... |
| 23 "-Wno-parentheses-equality", | 23 "-Wno-parentheses-equality", |
| 24 "-Wno-return-type", | 24 "-Wno-return-type", |
| 25 "-Wno-sign-compare", | 25 "-Wno-sign-compare", |
| 26 "-Wno-sometimes-uninitialized", | 26 "-Wno-sometimes-uninitialized", |
| 27 "-Wno-string-conversion", | 27 "-Wno-string-conversion", |
| 28 "-Wno-tautological-constant-out-of-range-compare", | 28 "-Wno-tautological-constant-out-of-range-compare", |
| 29 "-Wno-unused-const-variable", | 29 "-Wno-unused-const-variable", |
| 30 "-Wno-unused-function", | 30 "-Wno-unused-function", |
| 31 "-Wno-unused-private-field", | 31 "-Wno-unused-private-field", |
| 32 ] | 32 ] |
| 33 cflags_cc = [ | 33 cflags_cc = [ "-fexceptions" ] |
| 34 "-fexceptions", | |
| 35 ] | |
| 36 } | 34 } |
| 37 | 35 |
| 38 config("stp_public_config") { | 36 config("stp_public_config") { |
| 39 include_dirs = [ | 37 include_dirs = [ "src/include" ] |
| 40 "src/include", | |
| 41 ] | |
| 42 } | 38 } |
| 43 | 39 |
| 44 component("stp") { | 40 component("stp") { |
| 45 configs += [ ":stp_config" ] | 41 configs += [ ":stp_config" ] |
| 46 public_configs = [ ":stp_public_config" ] | 42 public_configs = [ ":stp_public_config" ] |
| 47 | 43 |
| 48 # Generated with: | 44 # Generated with: |
| 49 # find src/include src/lib -name '*.[ch]' -o -name '*.cc' \ | 45 # find src/include src/lib -name '*.[ch]' -o -name '*.cc' \ |
| 50 # -o -name '*.cpp' -o -name 'MemoryPool.tcc' \ | 46 # -o -name '*.cpp' -o -name 'MemoryPool.tcc' \ |
| 51 # | grep -v -e /CryptoMinisat4 -e /TestAST/ -e /Util/ \ | 47 # | grep -v -e /CryptoMinisat4 -e /TestAST/ -e /Util/ \ |
| (...skipping 313 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 365 ] | 361 ] |
| 366 } | 362 } |
| 367 | 363 |
| 368 action_foreach("generate_lexer") { | 364 action_foreach("generate_lexer") { |
| 369 script = "flex.py" | 365 script = "flex.py" |
| 370 sources = [ | 366 sources = [ |
| 371 "src/lib/Parser/cvc.lex", | 367 "src/lib/Parser/cvc.lex", |
| 372 "src/lib/Parser/smt.lex", | 368 "src/lib/Parser/smt.lex", |
| 373 "src/lib/Parser/smt2.lex", | 369 "src/lib/Parser/smt2.lex", |
| 374 ] | 370 ] |
| 375 outputs = [ | 371 outputs = [ "{{source_gen_dir}}/lex{{source_name_part}}.cpp" ] |
| 376 "{{source_gen_dir}}/lex{{source_name_part}}.cpp", | |
| 377 ] | |
| 378 args = [ | 372 args = [ |
| 379 "{{source}}", | 373 "{{source}}", |
| 380 "{{source_name_part}}", | 374 "{{source_name_part}}", |
| 381 "{{source_gen_dir}}/lex{{source_name_part}}", | 375 "{{source_gen_dir}}/lex{{source_name_part}}", |
| 382 ] | 376 ] |
| 383 } | 377 } |
| 384 | 378 |
| 385 action_foreach("generate_parser") { | 379 action_foreach("generate_parser") { |
| 386 script = "bison.py" | 380 script = "bison.py" |
| 387 sources = [ | 381 sources = [ |
| 388 "src/lib/Parser/cvc.y", | 382 "src/lib/Parser/cvc.y", |
| 389 "src/lib/Parser/smt.y", | 383 "src/lib/Parser/smt.y", |
| 390 "src/lib/Parser/smt2.y", | 384 "src/lib/Parser/smt2.y", |
| 391 ] | 385 ] |
| 392 outputs = [ | 386 outputs = [ |
| 393 "{{source_gen_dir}}/parse{{source_name_part}}.cpp", | 387 "{{source_gen_dir}}/parse{{source_name_part}}.cpp", |
| 394 "{{source_gen_dir}}/parse{{source_name_part}}.hpp", | 388 "{{source_gen_dir}}/parse{{source_name_part}}.hpp", |
| 395 ] | 389 ] |
| 396 args = [ | 390 args = [ |
| 397 "{{source}}", | 391 "{{source}}", |
| 398 "{{source_name_part}}", | 392 "{{source_name_part}}", |
| 399 "{{source_gen_dir}}/parse{{source_name_part}}", | 393 "{{source_gen_dir}}/parse{{source_name_part}}", |
| 400 ] | 394 ] |
| 401 } | 395 } |
| OLD | NEW |