idris: Clean up package builder

2018-07-02 06:13:01 +02:00
parent 7ec54c61b7
commit e79b302f89
3 changed files with 21 additions and 19 deletions
@@ -10,6 +10,8 @@ build-idris-package {
  inherit name version;
  inherit (idris) src;

+  includePreludeBase = false;
+
  idrisDeps = deps;

  postUnpack = ''