trying stuff

Author: toolCHAINZ

.github/workflows/jingle_python.yml

@@ -49,7 +49,6 @@ jobs:
                 . .z3env
                 echo "✅ Loaded Z3_SYS_Z3_HEADER from .z3env"
             else
-                ls /usr/local/include/z3/include
                 echo "❌ .z3env not found. Please run the installer script first."
             fi
           # sccache: ${{ !startsWith(github.ref, 'refs/tags/') }}

jingle_python/gh_actions_setup.py

@@ -79,7 +79,7 @@ def install_z3_latest():
 
         print("Installing headers and libraries to /usr/local...", file=sys.stderr)
         subprocess.run(['mkdir', '-p', '/usr/local/include/z3'], check=True)
-        subprocess.run(['cp', include_dir + '/*', '/usr/local/include/z3'], check=True)
+        subprocess.run(['cp', include_dir + '/*.h', '/usr/local/include/z3'], check=True)
         subprocess.run(['cp', os.path.join(lib_dir, 'libz3.so'), '/usr/local/lib/'], check=True)
         subprocess.run(['ldconfig'], check=True)