Danny Willems

Another one: https://github.com/o1-labs/proof-systems/actions/runs/7113846450/job/19366641660?pr=1437.

Also, see https://github.com/MinaProtocol/mina/issues/14664

I face the same issue

Updating to opam 2.1.4 did not fix the issue. Cleaning the opam cache too. The following commands work: ``` opam switch create ./ 4.14.1 opam install ctypes ``` Installing on...

It seems it uses the output of pkg-config (see [discover.ml](https://github.com/yallop/ocaml-ctypes/blob/0.20.1/src/discover/discover.ml)). `pkg-config libffi --cflags` gives a wrong path. I reinstalled pkg-config with `brew reinstall pkg-config`.

And if you updated recently your MacOS version, don't forget to install the SDKs: ``` xcode-select --install ``` You should then have the correct SDK version installed in `/Library/Developer/CommandLineTools/SDKs/` (for...

> > I reinstalled pkg-config with `brew reinstall pkg-config`. > > so the issue is with brew-installed pkg-config then? Yes, it looks like.

Take this as an example: https://stackoverflow.com/questions/45865205/imagefield-django-template, modulo the changes suggested in the answer. Let me know if you want a full example.

I also contacted the maintainer by email today. I let you know if I receive an answer.

!ci-build-me