2018-11-04: GHC 8.4 compilation.

Version at least 0.13.2.4 of the Haskell Test Framework (HTF) is needed to compile under ghc-8.4. However, this version does not build with the latest QuickCheck. Thus, install HTF separately as follows before following the general instructions below.

  cabal install HTF --constraint=QuickCheck==2.11.3

See skogsbaer/HTF#69

In this directory (the testing directory), run:

  cabal install
  bnfc-system-tests

It is important to be in this directory, and further:

• In your CLASSPATH have . and the jars for:

  • JFLex
  • java-cup
  • java-cup-runtime
  • antlr
  • antlr-runtime

• On Mac OS X, Xcode may come with an old version of GNU bison like 2.3. brew install bison to get a newer one (like 3.2) and make sure it is in your PATH.

• Have installed and in the PATH:

  • jflex
  • alex, happy, hlint
  • ocamlc, ocamllex, ``menhir`
  • agda