search

nomeata / incredible

The Incredible Proof Machine
MIT License
360 stars 36 forks source link

Is master compatible with ghc 7.10.2 ? #44

Closed DeepSpawn closed 9 years ago

DeepSpawn commented 9 years ago

So have followed the instructions in the README in an attempt to get it building locally. The current version of GHCJS requires a newer version of GHC than the version mentioned in the repo. So I am using the following

'$ ghcjs --version The Glorious Glasgow Haskell Compilation System for JavaScript, version 0.2.0 (GHC 7.10.2)`

I am trying to build the master branch, commit 1eac53c9635d26bca4aa08d2b81138cff84d5adf The compilation error I get (when running make logic.js) is as follows,

[1 of 2] Compiling ConvertJS ( js/ConvertJS.hs, dist-ghcjs/build/js-interface/js-interface- >tmp/ConvertJS.js_o )

js/ConvertJS.hs:14:25: Not in scope: ‘castRef’

js/ConvertJS.hs:21:25: Not in scope: ‘castRef’

js/ConvertJS.hs:28:25: Not in scope: ‘castRef’

js/ConvertJS.hs:37:14: Not in scope: ‘castRef’ make: *\ [logic/dist-ghcjs/build/js-interface/js-interface.jsexe/all.js] Error 1

Have I made a mistake somewhere or is this a real compilation error? (This is on a clean Ubuntu install so there should not be anything else causing problems)

Cheers, Gene Taylor

nomeata commented 9 years ago

@gattschardo runs this with GHC-7.10. My guess would be that GHCJS has changed in incompatible ways. Too bad that they do not do releases yet.

Maybe they have merged the improved-base branch into maste?

Can you try to check out revision c1b623 of GHCJS and see if it works with that?

nomeata commented 9 years ago

Or even better: Try branch old-base-ghc-7.10 of GHCJS.

nomeata commented 9 years ago

And read https://github.com/ghcjs/ghcjs/tree/old-base-ghc-7.10#build-the-libraries about what flags you have to pass to ghcjs-boot to get going. Sorry for the hassle, but GHCJS is quite a young technology.

gattschardo commented 9 years ago

For the record, I use

and GHC 7.10.1 to build successfully. So I suggest using the older ghcjs commit, if that doesn't fix it, the incompatibilty must be between 7.10.1 and 7.10.2.

nomeata commented 9 years ago

I strongly doubt that it’s 7.10.2 vs. 7.10.1, as it is clearly a change in the ghcjs libraries.

nomeata commented 9 years ago

@DeepSpawn, did you have success with the instructions on https://github.com/ghcjs/ghcjs/tree/old-base-ghc-7.10#build-the-libraries?