Commit graph

1 commit

Author SHA1 Message Date
Matthew Pickering
40124cd0cf Add wrapper for idris exe for gcc/gmp runtime deps
Fixes #10450

When compiling packages with -o the executable invokes gcc.
There is no compile time flag to control this invocation so for
now we create a wrapper which provides the dependency at runtime.
2017-11-02 23:14:12 +00:00