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.
NixOS · Oct 30, 2017 · b8a7c45 · b8a7c45
1 parent 5c35db3
commit b8a7c45
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 = ''