`libminizinc_jll`?

Open pedromxavier opened this issue 2 years ago • 2 comments

Dear maintainers, was there any attempt to build a JLL for libminizinc? This could be a step towards solving the Windows binding issue (#36).

Oct 17 '23 19:10 pedromxavier

We already build libminizinc on Yggdrasil: https://github.com/JuliaPackaging/Yggdrasil/blob/master/M/MiniZinc/build_tarballs.jl But there is a cross compilation problem for Windows, and I don't have a machine to test or debug so I never made much progress. (And the RAI folks don't use Windows, so there wasn't customer demand.)

Oct 17 '23 23:10 odow

I think the solution to this is https://github.com/jump-dev/jump-dev.github.io/pull/171

May 14 '25 05:05 odow