lib/Tools/ghc_setup
2 months ago wenzelm 2019-03-20 more robust reference to ghc exe (with multi-platform support);
5 months ago wenzelm 2018-12-22 tuned messages;
6 months ago wenzelm 2018-11-08 always insist in specified resolver/compiler version;
6 months ago wenzelm 2018-11-05 more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);
7 months ago wenzelm 2018-10-18 more robust: explicit version;
7 months ago wenzelm 2018-10-17 support for GHC via command-line tools;