Code

Add recipe for hal#28949

Code

Draft

martin-g wants to merge 14 commits intoconda-forge:mainconda-forge/staged-recipes:mainfrom martin-g:halmartin-g/staged-recipes:halCopy head branch name to clipboard

+93

Commits

Commits on Jan 27, 2025

• Add recipe for hal

  Show description for 5fb2b7e
  martin-g

  committed
  5fb2b7e

  Copy full SHA for 5fb2b7e

• Fix the url for download.

  Show description for ee2e575
  martin-g

  committed
  ee2e575

  Copy full SHA for ee2e575

• Use libboost-devel instead of libboost

  Show description for 411bb54
  martin-g

  committed
  411bb54

  Copy full SHA for 411bb54

• Add zlib as a host dependency

  Show description for f02bdfa
  martin-g

  committed
  f02bdfa

  Copy full SHA for f02bdfa

• Do not use vendored dependencies

  Show description for 0e4733d
  martin-g

  committed
  0e4733d

  Copy full SHA for 0e4733d

• Specify where Z3Prover libs and includes are

  Show description for 5669991
  martin-g

  committed
  5669991

  Copy full SHA for 5669991

• Debug cmake

  Show description for 49cb504
  martin-g

  committed
  49cb504

  Copy full SHA for 49cb504

Commits on Jan 28, 2025

• Try without CMAKE_ARGS

  Show description for d3d24b1
  martin-g

  committed
  d3d24b1

  Copy full SHA for d3d24b1

• Use make for the build instead of ninja

  Show description for 0eeea49
  martin-g

  committed
  0eeea49

  Copy full SHA for 0eeea49

• Try with -DPYBIND11_FINDPYTHON=ON

  Show description for 6c02f29
  martin-g

  committed
  6c02f29

  Copy full SHA for 6c02f29

• Add -DPython_INCLUDE_DIRS too

  Show description for 25634f2
  martin-g

  committed
  25634f2

  Copy full SHA for 25634f2

• More Python paths hacking

  Show description for 1c2a484
  martin-g

  committed
  1c2a484

  Copy full SHA for 1c2a484

• Try with vendored pybind11

  Show description for 3170239
  martin-g

  committed
  3170239

  Copy full SHA for 3170239

• Set some additional properties that are usually detected with Git

  Show description for e6520a5
  martin-g

  committed
  e6520a5

  Copy full SHA for e6520a5