nixpkgs

nordic-dev.net/nixpkgs

Fork 0

mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-24 22:53:42 +00:00

Commit Graph

Author	SHA1	Message	Date
Shea Levy	69d4adee1f	idris: Move library setup to the setup hook. This was broken in preHook because addEnvHooks isn't defined yet.	2018-01-20 19:58:06 -05:00
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

Author

SHA1

Message

Date

Shea Levy

69d4adee1f

idris: Move library setup to the setup hook.

This was broken in preHook because addEnvHooks isn't defined yet.

2018-01-20 19:58:06 -05:00

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

2 Commits