diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2017-10-25 21:59:52 +0100 |
---|---|---|
committer | Domen Kožar <domen@enlambda.com> | 2017-10-30 12:25:33 +0100 |
commit | b8a7c455f6e5eef0fe6d9d65701816cbf3662f57 (patch) | |
tree | 553c680751187a7487547df917b7cd5a04bcc9a3 /pkgs/development/idris-modules/with-packages.nix | |
parent | 5c35db3e9b1e365dc92414b1b926d8dfec684217 (diff) |
Fix idrisPackages.with-packages
1. The ln step was failing due to a file already existing 2. gcc was invoked directly which caused failure on OS X.
Diffstat (limited to 'pkgs/development/idris-modules/with-packages.nix')
-rw-r--r-- | pkgs/development/idris-modules/with-packages.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/idris-modules/with-packages.nix b/pkgs/development/idris-modules/with-packages.nix index edcd20c10978e..d2b09808ec153 100644 --- a/pkgs/development/idris-modules/with-packages.nix +++ b/pkgs/development/idris-modules/with-packages.nix @@ -10,7 +10,7 @@ installIdrisLib () { if [ -d $1/lib/${idris.name} ]; then - ln -sv $1/lib/${idris.name}/* $out/lib/${idris.name} + ln -fsv $1/lib/${idris.name}/* $out/lib/${idris.name} fi } @@ -34,7 +34,7 @@ ''; buildPhase = '' - gcc -O3 -o idris idris.c + $CC -O3 -o idris idris.c ''; installPhase = '' |