Mate Soos

I fixed it the same way they did in mlpack: https://github.com/mlpack/mlpack/pull/3805/files#diff-7829468e86c1cc5d5133195b5cb48e1ff6c75e3e9203777f6b2e379d9e4882b3R75 By adding to the build: ``` # Fix cereal compilation on clang 19+; see # https://github.com/USCiLab/cereal/pull/835 sed -i 's|::template...

Thanks, good point. Sorry, I was a bit under the weather. I'm fixing this now.

Hi, I have now pushed a new version to pypi: https://pypi.org/project/pycryptosat/#files You can check out how to build it by hand here: https://github.com/msoos/cryptominisat/blob/master/.github/workflows/python-wheel-build.yml I hope this resolves your issue! Mate

Actually, the built python module is wrong. I don't know how to fix this. I think I'm giving up. No more python module. Sorry.

Hi, this has been closed. I have no idea how to build the damned module. I can build the .so libraries, and it works on my computer. But I have...

Wow nice! Yeah, I have been doing something like what you have done in that PR as well -- tried building it shared. And that works beautifully! But it doesn't...

Actually, @antonio-rojas do you wanna create a PR out of that changeset? I'd merge it right in :)

Yeah, good point, building it as part of cmake would make sense. Then it would "just work". Maybe there are cmake modules that can do that.

Hi, Thanks! That's true, the installation is not included. At the same time, to run the executable from where it's at, it's not necessary to install these libraries. Maybe we...

Hi, Yeah, good point. BTW, it's trivial to build statically! The GitHub actions actually compiles statically: https://github.com/msoos/cryptominisat/actions/runs/12244747429 Basically, the only difference is to add ` -DSTATICCOMPILE=ON` to the `cmake` of...