From 1dc8089e6efc90d03a330abbd29c98f295eb56ab Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 4 Aug 2021 16:54:36 -0700 Subject: [PATCH] add bigfix lib Signed-off-by: Nikolaj Bjorner --- scripts/mk_project.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/mk_project.py b/scripts/mk_project.py index 00388c6fd..d2331e11e 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -80,7 +80,8 @@ def init_project_def(): add_lib('fpa_tactics', ['fpa', 'core_tactics', 'bv_tactics', 'sat_tactic', 'smt_tactic', 'arith_tactics', 'smtlogic_tactics'], 'tactic/fpa') add_lib('portfolio', ['smtlogic_tactics', 'sat_solver', 'ufbv_tactic', 'fpa_tactics', 'aig_tactic', 'fp', 'fd_solver', 'qe', 'sls_tactic', 'subpaving_tactic'], 'tactic/portfolio') add_lib('opt', ['smt', 'smtlogic_tactics', 'sls_tactic', 'sat_solver'], 'opt') - add_lib('polysat', ['util','dd','simplex','interval'],'math/polysat') + add_lib('bigfix',['util'], 'math/bigfix') + add_lib('polysat', ['bigfix','util','dd','simplex','interval'],'math/polysat') API_files = ['z3_api.h', 'z3_ast_containers.h', 'z3_algebraic.h', 'z3_polynomial.h', 'z3_rcf.h', 'z3_fixedpoint.h', 'z3_optimization.h', 'z3_fpa.h', 'z3_spacer.h'] add_lib('api', ['portfolio', 'realclosure', 'opt'], includes2install=['z3.h', 'z3_v1.h', 'z3_macros.h'] + API_files)