diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2017-11-02 21:51:35 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2017-11-02 23:14:12 +0000 |
| commit | 40124cd0cf474dd17959b5ae36c8a98112c173c0 (patch) | |
| tree | 3f6ad27d72c763a48588cf0023fd1391899bd43e /pkgs/development/python-modules/httpserver | |
| parent | 8e91f4ea91216d68186585d8ab863d4f6133688e (diff) | |
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.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions