mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
Update header includes to be relative to src/
directory.
This commit is contained in:
parent
b2d590e0c9
commit
a2d7b43554
|
@ -1573,7 +1573,7 @@ def def_APIs(api_files):
|
|||
|
||||
def write_log_h_preamble(log_h):
|
||||
log_h.write('// Automatically generated file\n')
|
||||
log_h.write('#include\"z3.h\"\n')
|
||||
log_h.write('#include\"api/z3.h\"\n')
|
||||
log_h.write('#ifdef __GNUC__\n')
|
||||
log_h.write('#define _Z3_UNUSED __attribute__((unused))\n')
|
||||
log_h.write('#else\n')
|
||||
|
@ -1592,14 +1592,14 @@ def write_log_h_preamble(log_h):
|
|||
def write_log_c_preamble(log_c):
|
||||
log_c.write('// Automatically generated file\n')
|
||||
log_c.write('#include<iostream>\n')
|
||||
log_c.write('#include\"z3.h\"\n')
|
||||
log_c.write('#include\"api_log_macros.h\"\n')
|
||||
log_c.write('#include\"z3_logger.h\"\n')
|
||||
log_c.write('#include\"api/z3.h\"\n')
|
||||
log_c.write('#include\"api/api_log_macros.h\"\n')
|
||||
log_c.write('#include\"api/z3_logger.h\"\n')
|
||||
|
||||
def write_exe_c_preamble(exe_c):
|
||||
exe_c.write('// Automatically generated file\n')
|
||||
exe_c.write('#include\"z3.h\"\n')
|
||||
exe_c.write('#include\"z3_replayer.h\"\n')
|
||||
exe_c.write('#include\"api/z3.h\"\n')
|
||||
exe_c.write('#include\"api/z3_replayer.h\"\n')
|
||||
#
|
||||
exe_c.write('void Z3_replayer_error_handler(Z3_context ctx, Z3_error_code c) { printf("[REPLAYER ERROR HANDLER]: %s\\n", Z3_get_error_msg(ctx, c)); }\n')
|
||||
|
||||
|
|
|
@ -18,7 +18,7 @@ Notes:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_ast_vector.h"
|
||||
#include "math/polynomial/algebraic_numbers.h"
|
||||
|
|
|
@ -16,7 +16,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/arith_decl_plugin.h"
|
||||
|
|
|
@ -16,7 +16,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/array_decl_plugin.h"
|
||||
|
|
|
@ -16,7 +16,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
#include<iostream>
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/well_sorted.h"
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_ast_map.h"
|
||||
#include "api/api_ast_vector.h"
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_ast_vector.h"
|
||||
#include "ast/ast_translation.h"
|
||||
|
|
|
@ -16,7 +16,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/bv_decl_plugin.h"
|
||||
|
|
|
@ -18,7 +18,7 @@ Revision History:
|
|||
#include "api/z3.h"
|
||||
#include "api/api_context.h"
|
||||
#include "ast/pp.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_util.h"
|
||||
#include "cmd_context/cmd_context.h"
|
||||
#include "util/symbol.h"
|
||||
|
|
|
@ -20,10 +20,10 @@ Revision History:
|
|||
#include<typeinfo>
|
||||
#include "api/api_context.h"
|
||||
#include "parsers/smt/smtparser.h"
|
||||
#include"version.h"
|
||||
#include "util/version.h"
|
||||
#include "ast/ast_pp.h"
|
||||
#include "ast/ast_ll_pp.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/reg_decl_plugins.h"
|
||||
#include "math/realclosure/realclosure.h"
|
||||
|
|
|
@ -20,7 +20,7 @@ Revision History:
|
|||
#include "api/api_util.h"
|
||||
#include "ast/ast_pp.h"
|
||||
#include "api/api_ast_vector.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_stats.h"
|
||||
#include "muz/fp/datalog_parser.h"
|
||||
#include "util/cancel_eh.h"
|
||||
|
|
|
@ -16,7 +16,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/datatype_decl_plugin.h"
|
||||
|
|
|
@ -18,7 +18,7 @@ Notes:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "ast/fpa_decl_plugin.h"
|
||||
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_goal.h"
|
||||
#include "ast/ast_translation.h"
|
||||
|
|
|
@ -18,7 +18,7 @@
|
|||
#include<sstream>
|
||||
#include<vector>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_tactic.h"
|
||||
#include "api/api_solver.h"
|
||||
|
|
|
@ -17,9 +17,9 @@ Revision History:
|
|||
--*/
|
||||
#include<fstream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "util/util.h"
|
||||
#include"version.h"
|
||||
#include "util/version.h"
|
||||
|
||||
std::ostream * g_z3_log = 0;
|
||||
bool g_z3_log_enabled = false;
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_model.h"
|
||||
#include "api/api_ast_vector.h"
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/arith_decl_plugin.h"
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_stats.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
|
|
|
@ -19,7 +19,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "util/params.h"
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "cmd_context/cmd_context.h"
|
||||
|
|
|
@ -16,7 +16,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/pb_decl_plugin.h"
|
||||
|
|
|
@ -17,7 +17,7 @@ Notes:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_polynomial.h"
|
||||
#include "api/api_ast_vector.h"
|
||||
|
|
|
@ -19,7 +19,7 @@ Notes:
|
|||
|
||||
#include <iostream>
|
||||
#include "api/z3.h"
|
||||
#include "api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "api/api_model.h"
|
||||
|
|
|
@ -16,7 +16,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "parsers/util/pattern_validation.h"
|
||||
|
|
|
@ -21,7 +21,7 @@ Notes:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "math/realclosure/realclosure.h"
|
||||
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
|
||||
--*/
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_util.h"
|
||||
#include "ast/ast_pp.h"
|
||||
|
|
|
@ -18,7 +18,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_tactic.h"
|
||||
#include "api/api_solver.h"
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_stats.h"
|
||||
|
||||
|
|
|
@ -17,7 +17,7 @@ Revision History:
|
|||
--*/
|
||||
#include<iostream>
|
||||
#include "api/z3.h"
|
||||
#include"api_log_macros.h"
|
||||
#include "api/api_log_macros.h"
|
||||
#include "api/api_context.h"
|
||||
#include "api/api_tactic.h"
|
||||
#include "api/api_model.h"
|
||||
|
|
|
@ -16,7 +16,7 @@ Notes:
|
|||
|
||||
--*/
|
||||
#include "cmd_context/cmd_context.h"
|
||||
#include"version.h"
|
||||
#include "util/version.h"
|
||||
#include "ast/ast_smt_pp.h"
|
||||
#include "ast/ast_smt2_pp.h"
|
||||
#include "ast/ast_pp.h"
|
||||
|
|
|
@ -27,7 +27,7 @@
|
|||
#include<vector>
|
||||
#include<list>
|
||||
#include <set>
|
||||
#include"version.h"
|
||||
#include "util/version.h"
|
||||
#include<limits.h>
|
||||
|
||||
#include "interp/iz3hash.h"
|
||||
|
|
|
@ -26,7 +26,7 @@ Revision History:
|
|||
#include "shell/smtlib_frontend.h"
|
||||
#include "shell/z3_log_frontend.h"
|
||||
#include "util/warning.h"
|
||||
#include"version.h"
|
||||
#include "util/version.h"
|
||||
#include "shell/dimacs_frontend.h"
|
||||
#include "shell/datalog_frontend.h"
|
||||
#include "shell/opt_frontend.h"
|
||||
|
|
Loading…
Reference in a new issue