Compile error using 0.4.5

[toeklk]

✔ ~/git/clafer/claferIG [0.4.5|⚑ 1]$
PATH=/Users/kgad/homebrew/bin/:$PATH make
Archive: alloy4.2.jar
inflating: lib/x86-mac/libminisatprover.jnilib
inflating: lib/x86-mac/libminisatprover.dylib
stack build

Warning: There were multiple candidates for the Cabal entry " Language.Clafer.Front.LexClafer
* /Users/kgad/git/clafer/clafer/src/Language/Clafer/Front/LexClafer.x
picking: /Users/kgad/git/clafer/clafer/src/Language/Clafer/Front/LexClafer.hs

Warning: There were multiple candidates for the Cabal entry " Language.Clafer.Front.ParClafer
* /Users/kgad/git/clafer/clafer/src/Language/Clafer/Front/ParClafer.y
picking: /Users/kgad/git/clafer/clafer/src/Language/Clafer/Front/ParClafer.hs

Error: While constructing the build plan, the following exceptions were encountered:

In the dependencies for clafer-0.5.0:
HTTP-4000.3.5 from stack configuration does not match >=4000.3.9 (latest matching version is 4000.3.13)
aeson-1.0.2.1 from stack configuration does not match >=1.1.2.0 (latest matching version is 1.4.3.0)
cmdargs-0.10.15 from stack configuration does not match >=0.10.18 (latest matching version is 0.10.20)
cond must match >=0.4, but the stack configuration has no specified version (latest matching version
is 0.4.1.1)
executable-path-0.0.3 from stack configuration does not match >=0.0.3.1 (latest matching version is 0.0.3.1)
lens-4.15.1 from stack configuration does not match >=4.15.4 (latest matching version is 4.17.1)
lens-aeson-1.0.0.5 from stack configuration does not match >=1.0.2 (latest matching version is 1.0.2)
network-2.6.3.1 from stack configuration does not match >=2.6.3.2 (latest matching version is 3.1.0.0)
split-0.2.3.1 from stack configuration does not match >=0.2.3.2 (latest matching version is 0.2.3.3)
text-1.2.2.1 from stack configuration does not match >=1.2.2.2 (latest matching version is 1.2.3.1)
needed since clafer is a build target.

Some different approaches to resolving this:

• Consider trying 'stack solver', which uses the cabal-install solver to attempt to find some working build
  configuration. This can be convenient when dealing with many complicated constraint errors, but results may
  be unpredictable.

• Recommended action: try adding the following to your extra-deps
  in /Users/kgad/git/clafer/claferIG/stack.yaml:

HTTP-4000.3.13@sha256:f04f9ee83c103332522e68dfaa74dccec9c50c554a7d4fcb4bbad6c5a706961f
aeson-1.4.3.0@sha256:49f92cd7bd5e9bb447f0f284785e725f5bebc798ca60baa5438d0eaaece28399
cmdargs-0.10.20@sha256:76cf238367e669833929dd264b4fc2278145ddf5b743624f2d5558cca16a08a9
cond-0.4.1.1@sha256:f1e4ab2ff6e129570c317bdd737adfa18c253817769ecca27167668d0c0abaf3
executable-path-0.0.3.1@sha256:865c184b96e224ba6727632176e457418aea02d8cfd6b65507d5d1a6c0372a85
lens-4.17.1@sha256:61f6956d463e4c6d44d9d3f0637ed957e4a6756145c0f433fffa6371608276fe
lens-aeson-1.0.2@sha256:48a5f41b9565d14ab0f9c595ebcb6e52ce0fd4004ab4115f9e81636a1ddae5dd
network-3.1.0.0@sha256:85b36fea1dfe92af91b38224d6ea84eb0b17c03d9aed0260413be226722b0cd2
split-0.2.3.3@sha256:f1c7b12865e38d1e241ceef74c85eb81d82301022fea1a5012d8d9803af5e26f
text-1.2.3.1@sha256:fc9719142e5cdd6f254b3f4831b133d3fad697ae9b54fe26424f0e023c8cc87d

[toeklk]

Note, trying the suggested solution leads to new unresolved deps and finally to

✘-TSTP ~/git/clafer/claferIG [0.4.5|✚ 2…3]$
PATH=/Users/kgad/homebrew/bin/:$PATH make
Archive: alloy4.2.jar
replace lib/x86-mac/libminisatprover.jnilib? [y]es, [n]o, [A]ll, [N]one, [r]ename: A
inflating: lib/x86-mac/libminisatprover.jnilib
inflating: lib/x86-mac/libminisatprover.dylib
stack build

Warning: There were multiple candidates for the Cabal entry " Language.Clafer.Front.LexClafer
* /Users/kgad/git/clafer/clafer/src/Language/Clafer/Front/LexClafer.x
picking: /Users/kgad/git/clafer/clafer/src/Language/Clafer/Front/LexClafer.hs

Warning: There were multiple candidates for the Cabal entry " Language.Clafer.Front.ParClafer
* /Users/kgad/git/clafer/clafer/src/Language/Clafer/Front/ParClafer.y
picking: /Users/kgad/git/clafer/clafer/src/Language/Clafer/Front/ParClafer.hs

Error: While constructing the build plan, the following exceptions were encountered:

In the dependencies for deepseq-1.3.0.2:
base-4.9.1.0 from stack configuration does not match >=4.3 && <4.8 (latest matching version is 4.7.0.2)
needed due to clafer-0.5.0 -> deepseq-1.3.0.2

Some different approaches to resolving this:

• Set 'allow-newer: true' in /Users/kgad/.stack/config.yaml to ignore all version constraints and build anyway.

• Consider trying 'stack solver', which uses the cabal-install solver to attempt to find some working build
  configuration. This can be convenient when dealing with many complicated constraint errors, but results may
  be unpredictable.

• Build requires unattainable version of base. Since base is a part of GHC, you most likely need to use a
  different GHC version with the matching base.

Plan construction failed.
make: *** [build] Error 1

[toeklk]

PATH=/Users/kgad/homebrew/bin/:$PATH ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.6.5

Setting the allow-newer option to true doesn't work either, leading (ao.) to this warning (the root cause?)

Warning: Installed version of cabal-install (2.4.1.0) is newer than stack has been tested with. If you run into difficulties, consider downgrading.

[mantkiew]

I have actually attempted to upgrade the toolchain a few times but there's always something broken. Unfortunately, we need the claferwiki to work as well, which requires gitit and pandoc. The latter is well maintained and frequently updated; however gitit often lags behind.