idris-ct icon indicating copy to clipboard operation
idris-ct copied to clipboard

Published 20 hours ago • verified publisher icon statebox

build times

Open Jake-Gillberg opened this issue 4 years ago • 5 comments

Building takes quite a long time and lately has been failing on my measly 2GB ram machine.

Is there a way to have an idris project depend on a pre-compiled target, and a way to publish these targets for the current master branch?

Jake-Gillberg avatar Apr 25 '20 15:04 Jake-Gillberg

@andrevidela maybe you're the best one to answer this

marcosh avatar Apr 27 '20 06:04 marcosh

For now I just commented out the portions of elba.toml that aren't needed for the pieces that I am working on. This seems like a fine workaround for contribution edits to this library, but not for projects that have idris-ct as a dependency via elba.

Jake-Gillberg avatar Apr 27 '20 12:04 Jake-Gillberg

Sorry I just saw this.

I just bought a computer with 32Gb of ram. … Just kidding, maybe you can have better chances by compling every file separately from the REPL and at the end run idris --install with the IBCs already compiled.

This will also take a long time but at least it won't fail.

andrevidela avatar May 08 '20 19:05 andrevidela

Would it make sense to have the build process commit the ibcs to a branch called "compiled" or something?

Jake-Gillberg avatar May 09 '20 14:05 Jake-Gillberg

I don't think so, but maybe we could make an official release with the library precompiled

andrevidela avatar May 12 '20 18:05 andrevidela