nickng / dingo-hunter

Static analyser for finding Deadlocks in Go
Apache License 2.0
316 stars 28 forks source link

issues installing gong #18

Open sp-daniel-pinyol opened 6 years ago

sp-daniel-pinyol commented 6 years ago

Two issues 1) If I do "git clone ssh://github.com/nickng/gong.git" as in the README, I get "Permission denied (publickey)." with "git clone git@github.com:nickng/gong.git" it worked fine 2) Failure with "ghc Gong.hs"

thanks

$ cd gong; ghc Gong.hs
[1 of 9] Compiling GoTypes          ( GoTypes.hs, GoTypes.o )

GoTypes.hs:12:1: error:
    Could not find module ‘Unbound.LocallyNameless’
    Use -v to see a list of the files searched for.
   |
12 | import Unbound.LocallyNameless hiding (Generic)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
nickng commented 6 years ago

Could you try running cabal install to install gong? Full instructions are here: https://github.com/nickng/gong

sp-daniel-pinyol commented 6 years ago

thanks, but "cabal install" fails also. Maybe I have a too new haskell version? Or is it because I use a mac?

ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.2.2
$ cabal install
Warning: --root-cmd is no longer supported, see
https://github.com/haskell/cabal/issues/3353 (if you didn't type --root-cmd,
comment out root-cmd in your ~/.cabal/config file)
Resolving dependencies...
cabal: Could not resolve dependencies:
trying: template-haskell-2.12.0.0/installed-2.1... (dependency of
cmdargs-0.10.20:+quotation)
trying: unbound-0.5.1 (dependency of Gong-0.1.1.0)
next goal: RepLib (dependency of unbound-0.5.1)
rejecting: RepLib-0.5.4 (conflict:
template-haskell==2.12.0.0/installed-2.1..., RepLib => template-haskell>=2.4
&& <2.12)
rejecting: RepLib-0.5.3.5, RepLib-0.5.3.4 (conflict:
template-haskell==2.12.0.0/installed-2.1..., RepLib => template-haskell>=2.4
&& <2.11)
rejecting: RepLib-0.5.3.3, RepLib-0.5.3.2 (conflict:
template-haskell==2.12.0.0/installed-2.1..., RepLib => template-haskell>=2.4
&& <2.10)
rejecting: RepLib-0.5.3.1 (conflict:
template-haskell==2.12.0.0/installed-2.1..., RepLib => template-haskell>=2.4
&& <2.9)
rejecting: RepLib-0.5.3 (conflict:
template-haskell==2.12.0.0/installed-2.1..., RepLib => template-haskell>=2.4
&& <2.8)
rejecting: RepLib-0.5.2.1, RepLib-0.5.2, RepLib-0.5.1, RepLib-0.5,
RepLib-0.4.0, RepLib-0.3, RepLib-0.2.2, RepLib-0.2.1 (conflict: unbound =>
RepLib>=0.5.3 && <0.6)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: template-haskell, RepLib, unbound,
Gong
nickng commented 6 years ago

Cloning

Rather than

git clone ssh://github.com/nickng/gong.git

Try using the https:// URL for cloning as in the README

git clone https://github.com/nickng/gong.git

Dependencies

I don't think that a newer version of GHC is the cause here, judging by the fact that I use a more recent version of GHC (8.0.2) instead of the 7.10 versions in the README. As for whether mac versions makes a difference, I doubt that but I am afraid I don't have a machine in hand to test for that.

For what it's worth, my exact dependencies for the packages above are as follows:

cmdargs ==0.10.17
template-haskell ==2.11.1.0
unbound ==0.5.1
RepLib ==0.5.4

It looks like your template-haskell version (template-haskell-2.1...?) looks a bit off, so perhaps you can try installing these version of packages? Cabal is supposed to resolve the dependencies yet it is not doing its job well..

As a backup plan, you can try running a pre-built version of Gong via docker

$ alias Gong='docker run nickng/gong:popl17ae Gong'