fix z3-solver host dependencies

colomoto · Jun 28, 2024 · ae9962c · ae9962c
1 parent 50151a4
commit ae9962c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/z3-solver/meta.yaml b/z3-solver/meta.yaml
@@ -15,13 +15,14 @@ build:
 
 requirements:
   host:
-    - python
+    - {{ compiler('cxx') }}
+    - python {{ python }}
     - setuptools >=46.4.0
     - wheel
     - cmake
     - pip
   run:
-    - python
+    - python {{ python }}
     - libgcc-ng
     - libstdcxx-ng
     - importlib-resources  # [py<39]