diff options
| author | Grimmauld <Grimmauld@grimmauld.de> | 2025-06-11 13:21:35 +0200 |
|---|---|---|
| committer | Grimmauld <Grimmauld@grimmauld.de> | 2025-06-12 12:17:51 +0200 |
| commit | 42b749a3395a3902e273c5d9d3165170a70a44bd (patch) | |
| tree | a50b067af26c23c35f8f432019cc5b3dd5180890 /pkgs/development/python-modules/httpserver | |
| parent | cc3c0c7a679c794f119676abcb07cdc0d730f117 (diff) | |
z3: build with cmake by default
Currently ocaml bindings do *build* with cmake, but
they don't get installed properly. Until that is
fixed, we need to keep the `py`+`make` based build.
The `cmake` build is needed to generate the cmake and
pkg-config output, needed for e.g. prusa-slicer 2.9.2.
python import check and pkg-config passthru testers
have been added for better coverage.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions