search

reactive-systems / syfco

Synthesis Format Conversion Tool
MIT License
23 stars 12 forks source link

Please update the project so that it would build with modern version of ghc #41

Closed yurivict closed 1 year ago

yurivict commented 2 years ago

Otherwise problems like this prevent users from building it.

gaperez64 commented 1 year ago

@yurivict, I am assuming you mean that we should update the .cabal file? Could you try the updated version from here https://github.com/gaperez64/syfco/tree/ltlf?

This update will likely be merged here soon, but I can still make changes to update the project in another way if this is not what you needed.

gaperez64 commented 1 year ago

43 should resolve this