treewide: fix *Flags

2019-12-30 04:50:37 +01:00
parent 20b02b80aa
commit ac8eaa8507
26 changed files with 107 additions and 99 deletions
@@ -47,9 +47,9 @@ let
    includeDirs = self.buildDependsAgdaShareAgda
                  ++ self.sourceDirectories ++ self.topSourceDirectories
                  ++ [ "." ];
-    buildFlags = concatStringsSep " " (map (x: "-i " + x) self.includeDirs);
+    buildFlags = stdenv.lib.concatMap (x: ["-i" x]) self.includeDirs;

-    agdaWithArgs = "${Agda}/bin/agda ${self.buildFlags}";
+    agdaWithArgs = "${Agda}/bin/agda ${toString self.buildFlags}";

    buildPhase = ''
      runHook preBuild