From 661bea91de3252c67adece4e9e6b5f2d409f267e Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Mon, 10 Jul 2023 09:45:21 +0200
Subject: [PATCH] fix component dependencies

---
 scripts/mk_project.py           | 2 +-
 src/math/polysat/CMakeLists.txt | 9 +++++----
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/scripts/mk_project.py b/scripts/mk_project.py
index fe75a9ca5..92b5bdddc 100644
--- a/scripts/mk_project.py
+++ b/scripts/mk_project.py
@@ -55,7 +55,7 @@ def init_project_def():
     add_lib('solver_assertions', ['pattern','smt_params','cmd_context','qe_lite'], 'solver/assertions')
     add_lib('bigfix',['util'], 'math/bigfix')
     add_lib('polysat_univariate_solver', ['util', 'solver'], 'math/polysat/univariate')
-    add_lib('polysat', ['bigfix','util','dd','simplex','interval','polysat_univariate_solver'], 'math/polysat')
+    add_lib('polysat', ['bigfix','dd','euf','interval','polysat_univariate_solver','simplex','util'], 'math/polysat')
     add_lib('subpaving_tactic', ['core_tactics', 'subpaving'], 'math/subpaving/tactic')
 
     add_lib('proto_model', ['model', 'rewriter', 'smt_params'], 'smt/proto_model')
diff --git a/src/math/polysat/CMakeLists.txt b/src/math/polysat/CMakeLists.txt
index 9e411c346..0759b462f 100644
--- a/src/math/polysat/CMakeLists.txt
+++ b/src/math/polysat/CMakeLists.txt
@@ -30,12 +30,13 @@ z3_add_component(polysat
     variable_elimination.cpp
     viable.cpp
   COMPONENT_DEPENDENCIES
-    util
-    dd
-    simplex
-    interval
     bigfix
+    dd
+    euf
+    interval
     polysat_univariate_solver
+    simplex
+    util
   PYG_FILES
     polysat_params.pyg
 )