Rename alllib -> lib in nix files

Author: jespercockx

nix/agda-core.diff

@@ -4,10 +4,10 @@
 > # add an agda2hs argument
 > # change src to ../. instead of ./.
 > # add buildTools = [agda2hs];
-> # add preBuild = ''make alllib'';
+> # add preBuild = ''make lib'';
 > # make ./nix/agda-core.nix might be able to do it for you
 8a16,19
 >   buildTools = [agda2hs];
 >   preBuild = ''
->     make alllib
+>     make lib
 >   '';

nix/agda-core.nix

@@ -3,7 +3,7 @@
 # add an agda2hs argument
 # change src to ../. instead of ./.
 # add buildTools = [agda2hs];
-# add preBuild = ''make alllib'';
+# add preBuild = ''make lib'';
 # make ./nix/agda-core.nix might be able to do it for you
 { mkDerivation, Agda, ansi-terminal, base, bytestring, containers
 , deepseq, directory, filepath, lib, mtl, transformers
@@ -15,7 +15,7 @@ mkDerivation {
   src = ../.;
   buildTools = [agda2hs];
   preBuild = ''
-    make alllib
+    make lib
   '';
   isLibrary = true;
   isExecutable = true;