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 |