search

AlacrisIO / meta

Internal management of Legicash/Legilogic/Alacris
0 stars 0 forks source link

Upgrade our z3 to 4.8.5 #122

Closed fare closed 5 years ago

fare commented 5 years ago

Haskell-z3 used to only support 4.8.4 not 4.8.5, and we pinned it to that version. Now that they merged in the patch by @AlexKnauth with support for 4.8.5, we should re-pin (or unpin and let stackage provide the latest, if released already). Alex had no other change beside repinning in his branch patch-z3-4.8.5, see patch 80ed38c

AlexKnauth commented 5 years ago

Looking at the versions on Hackage, it doesn't look like they've released a version with my patch yet, so if we want that patch we'd have to use something like this in the extra-deps for now:

  - git: https://github.com/IagoAbal/haskell-z3.git
    commit: b10e09b8a809fb5bbbb1ef86aeb62109ece99cae
jeapostrophe commented 5 years ago

This actually doesn't matter, because we aren't linking to Z3 and don't need the haskell-z3 library at all.

fare commented 5 years ago

Done in 2659a0e06d921189537265fac8811de133c35256