treewide: installTargets is a list

2019-12-30 13:29:27 +01:00
parent 2157dcd141
commit 65395a7105
23 changed files with 25 additions and 27 deletions
@@ -17,7 +17,7 @@ stdenv.mkDerivation {
  # luckily, they're not really needed so we don't build it.
  makeFlags = [ "DATA=" ];

-  installTargets = "install-exec";
+  installTargets = [ "install-exec" ];

  meta = with stdenv.lib; {
    description = "Interpreter for the metamath proof language";