build-idris-package: includePreludeBase -> noPrelude, noBase

Resembles idris --noprelude and --nobasepkgs arguments
2018-07-05 19:10:27 +02:00
parent ef0073410d
commit 5f620d0e22
2 changed files with 9 additions and 5 deletions
@@ -10,7 +10,8 @@ build-idris-package {
  inherit name version;
  inherit (idris) src;

-  includePreludeBase = false;
+  noPrelude = true;
+  noBase = true;

  idrisDeps = deps;