Idris build error
Dirk Ullrich
I've just tried to build current Idris from Git. I get the following error:
[18 of 31] Compiling Idris.Compiler ( src/Idris/Compiler.hs,
dist/build/idris/idris-tmp/Idris/Compiler.o )
src/Idris/Compiler.hs:111:29: Not in scope: `mallocTrace_'
Do I miss something?
Dirk
Edwin Brady
You probably didn't see the note in the commit that said it needs the latest EpiVM.
I'm not sure how to make these more prominent on a git pull...
In any case, I'll be updating the hackage version soon (since I'm giving a talk about Idris tomorrow and I'd like 'cabal install' to have all the recent updates and fixes...)
Edwin.
Morel Pisum
> Hi Dirk,
> You probably didn't see the note in the commit that said it needs the latest EpiVM.
> I'm not sure how to make these more prominent on a git pull...
>
> In any case, I'll be updating the hackage version soon (since I'm giving a talk about Idris tomorrow and I'd like 'cabal install' to have all the recent updates and fixes...)
> Edwin.
>
> On 27 Feb 2012, at 19:37, Dirk Ullrich wrote:
>
>> Hello Edwin,
>> I've just tried to build current Idris from Git. I get the following error:
>>
>> [18 of 31] Compiling Idris.Compiler ( src/Idris/Compiler.hs,
>> dist/build/idris/idris-tmp/Idris/Compiler.o )
>>
>> src/Idris/Compiler.hs:111:29: Not in scope: `mallocTrace_'
>>
>> Do I miss something?
>>
>> Dirk
Dirk Ullrich
Am 27. Februar 2012 20:39 schrieb Edwin Brady <edwin...@gmail.com>:
> Hi Dirk,
> You probably didn't see the note in the commit that said it needs the latest EpiVM.
Oops - maybe I should start to read commit messages before trying to build ...
> I'm not sure how to make these more prominent on a git pull...
I'm afraid that I have no idea for doing this in Git, too. But how
about to let Cabal do this job: Increase Epic's version number, and
make Idris dependent on this version?
>
> In any case, I'll be updating the hackage version soon (since I'm giving a talk about Idris tomorrow and I'd like 'cabal install' to have all the recent updates and fixes...)
Good luck for your talk!
Dirk
Edwin Brady
> Am 27.02.2012 20:39, schrieb Edwin Brady:
>> Hi Dirk,
>> You probably didn't see the note in the commit that said it needs the latest EpiVM.
> Well, why does he get a compile error then instead of a dependency issue?
It's true, if I'd been well behaved I'd have remembered to update Epic's version number and the dependecies. I'll try to remember to do this in future. I'll fix this when I upload to hackage shortly...
>> I'm not sure how to make these more prominent on a git pull...
>>
>> In any case, I'll be updating the hackage version soon (since I'm giving a talk about Idris tomorrow and I'd like 'cabal install' to have all the recent updates and fixes...)
> Nice; can you record that talk, please? =)
This is just an informal thing at Fun in the Afternoon (http://sneezy.cs.nott.ac.uk/fun/2012-02/) so I doubt it'll be set up for recording, unfortunately. But I probably ought to set something up some time, since you're not the first person to ask that.
Also note that I am entirely shameless in offering talks about Idris to various places, and I'm quite happy to go and visit places to talk about it, budget permitting :-).
Edwin.
Ramana Kumar
I'm getting this:
...
[10 of 10] Compiling Main ( Main.lhs, dist/build/epic/epic-tmp/Main.o )
Linking dist/build/epic/epic ...
make[1]: Entering directory `/tmp/epic-0.9.320301/epic-0.9.3/evm'
gcc -Wall -O3 -DUSE_BOEHM -c -o closure.o closure.c
In file included from closure.h:4:0,
from closure.c:1:
gc_header.h:10:19: fatal error: gc/gc.h: No such file or directory
compilation terminated.
make[1]: *** [closure.o] Error 1
make[1]: Leaving directory `/tmp/epic-0.9.320301/epic-0.9.3/evm'
cabal: Error: some packages failed to install:
epic-0.9.3 failed during the building phase. The exception was:
ExitFailure 2
idris-0.9.2 depends on epic-0.9.3 which failed to install.
make: *** [install] Error 1
I can paste more if necessary...
Edwin Brady
This probably means that you don't have the Boehm collector installed:
http://www.hpl.hp.com/personal/Hans_Boehm/gc/
If you're on a Mac, it builds painlessly. If you're on Linux, it's usually packaged. No idea about windows though...
It also needs GMP installed (though this is more commonly there already)
Anyone any idea how to get cabal to check this and print appropriate instructions?
Edwin.
Jason Dagit
> Should there still be build errors after f355c7?
>
> I'm getting this:
>
> ...
> [10 of 10] Compiling Main ( Main.lhs,
> dist/build/epic/epic-tmp/Main.o )
> Linking dist/build/epic/epic ...
> make[1]: Entering directory `/tmp/epic-0.9.320301/epic-0.9.3/evm'
> gcc -Wall -O3 -DUSE_BOEHM -c -o closure.o closure.c
> In file included from closure.h:4:0,
> from closure.c:1:
> gc_header.h:10:19: fatal error: gc/gc.h: No such file or directory
In my experience this means epic does not know where you installed
boehm. The epic documentation has details on how to configure the
path, for example on OSX:
https://github.com/edwinb/EpiVM/blob/master/README.Mac
Jason
Andrea Vezzosi
Anyone any idea how to get cabal to check this and print appropriate instructions?