Idris-dev icon indicating copy to clipboard operation
Idris-dev copied to clipboard

Published 20 hours ago • verified publisher icon idris-lang

Enable GHC 8.4 in travis

Open melted opened this issue 6 years ago • 4 comments

Let's see if 8.4.4 fixes the libffi problem

melted avatar Dec 11 '18 10:12 melted

I guess we should put in 8.6 too, but one thing at a time

melted avatar Dec 11 '18 10:12 melted

It would be good to review the versions of GHC that Travis, at a minimum, should test with.

From an quick search of two known LTS like operating systems:

  • Debian stable is on 8.0.X series.
  • Ubuntu LTS 18.01 is on 8.0.X as well.

I am not sure of any other Linux distro's (or other OS) that ship with older versions of GHC---i.e. 7.X series. I think this gives us grounds to comfortably drop all ghc versions prior to the 8.X series in our testing matrix.

jfdm avatar Dec 11 '18 11:12 jfdm

I saw that Travis has Xenial now. So let's test that.

melted avatar Dec 26 '18 13:12 melted

This got resolved in #4827

ilyakooo0 avatar Mar 20 '20 12:03 ilyakooo0