Packages build locally but fail to build on hackage server

nasa / ogma

Generator of runtime monitors for flight and robotics applications.

Other

335 stars 25 forks source link

Open ivanperez-keera opened 5 months ago

ivanperez-keera commented 5 months ago

Packages fail to build on the hackage server itself, apparently due to issues with dependencies. From the build log on Hackage:

/bin/sh: 1: bnfc: not found