search

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

HERMIT does not build with HEAD #156

Open andygill opened 8 years ago

andygill commented 8 years ago

https://travis-ci.org/ku-fpg/hermit/ fails with 

trying: hermit-1.0.0.1:*test
trying: tasty-golden-2.3.1 (dependency of hermit-1.0.0.1:*test)
next goal: async (dependency of tasty-golden-2.3.1)
rejecting: async-2.0.2 (conflict: base==4.9.0.0/installed-4.9..., async =>
base>=4.3 && <4.9)
rejecting: async-2.0.1.6, async-2.0.1.5 (conflict:
base==4.9.0.0/installed-4.9..., async => base>=4.3 && <4.8)
rejecting: async-2.0.1.4, async-2.0.1.3 (conflict:
base==4.9.0.0/installed-4.9..., async => base>=4.3 && <4.7)
rejecting: async-2.0.1.2, async-2.0.1.1, async-2.0.1.0, async-2.0.0.0
(conflict: base==4.9.0.0/installed-4.9..., async => base>=4.3 && <4.6)
trying: async-1.4
trying: optparse-applicative-0.12.0.0 (dependency of tasty-golden-2.3.1)
next goal: tasty (dependency of hermit-1.0.0.1:*test)
rejecting: tasty-0.11.0.2, tasty-0.11.0.1, tasty-0.11, tasty-0.10.1.2,
tasty-0.10.1.1, tasty-0.10.1, tasty-0.10.0.4, tasty-0.10.0.3, tasty-0.10.0.2,
tasty-0.10.0.1 (conflict: async==1.4, tasty => async>=2.0)
rejecting: tasty-0.10, tasty-0.9.0.1 (conflict:
optparse-applicative==0.12.0.0, tasty => optparse-applicative>=0.10 && <0.11)
rejecting: tasty-0.8.1.3, tasty-0.8.1.2, tasty-0.8.1.1, tasty-0.8.0.4,
tasty-0.8.0.2, tasty-0.8 (conflict: optparse-applicative==0.12.0.0, tasty =>
optparse-applicative>=0.6 && <0.10)
rejecting: tasty-0.7, tasty-0.6, tasty-0.5.2.1, tasty-0.5.2, tasty-0.5.1,
tasty-0.5, tasty-0.4.2, tasty-0.4.1.1, tasty-0.4.0.1, tasty-0.4, tasty-0.3.1,
tasty-0.3, tasty-0.2, tasty-0.1.1, tasty-0.1 (conflict: hermit-1.0.0.1:test =>
tasty>=0.8)
xich commented 8 years ago

A new version of async which supports base-4.9 was uploaded today. Perhaps try again?

In general the HEAD build is going to fail like this for a while after a new release while the packages we depend on bump their bounds. It's only useful once someone sits down and gets it working the first time, which might require sending patches to bump bounds on other projects.