Closed jimcrayne closed 11 years ago
Some notes: I am using cabal configure; cabal build. I installed llvm-3.3 from a source tarball, and llvm-general 3.5.0 from hackage.
This isn't the cause-of-your-problem you're looking for. You don't need a fix in this package. Move along.
Googling for defs.c reveals it to be part of Idris. Looking at the Idris defs.c, it uses functions like GC_malloc and GC_free. Googling for those, they're part of the Boehm garbage collector in a package typically named "gc" or "libgc". Searching for libgc in http://packages.debian.org/wheezy/allpackages finds an appropriate package: libgc-dev. Following links, http://packages.debian.org/wheezy/amd64/libgc-dev/filelist shows that it provides what you need.
So it looks to me like building Idris on Wheezy requires you to have libgc-dev installed, but that's got nothing to do with llvm-general.
Well... Thankyou for your help. Though your jedi reference leads me to think maybe the gratitude isn't mutual. If so, my appologies. Perhaps you'd prefer build issues like this go elsewhere? Also, isn't it cabal configure's job to catch things like this?
Oh. My bad, I thought I was posting to the Idris Issues page. :]
Idris doesn't build in my environment(Wheezy x86_64) because i dont have a gc.h which is referred to in llvm/defs.c