search

jump-dev / MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language
https://www.minizinc.org/
MIT License
18 stars 4 forks source link

`libminizinc_jll`? #50

Open pedromxavier opened 1 year ago

pedromxavier commented 1 year ago

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

odow commented 1 year ago

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.)