From ae9962cc96b7c07895feef3f8073c416795cf596 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Paulev=C3=A9?= <loic.pauleve@labri.fr>
Date: Fri, 28 Jun 2024 15:51:16 +0200
Subject: [PATCH] fix z3-solver host dependencies

---
 z3-solver/meta.yaml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/z3-solver/meta.yaml b/z3-solver/meta.yaml
index 3fd0e3c..10c464c 100644
--- 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]