diff options
| author | Robin Gloster <mail@glob.in> | 2019-11-04 13:33:53 +0100 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2019-12-30 13:29:27 +0100 |
| commit | 65395a7105feac9eb4a2ddf7915607e24b19f71e (patch) | |
| tree | 123882fb83e0f284c7d6dacd824d3fe16e7eeb9e /pkgs/development/interpreters/metamath | |
| parent | 2157dcd141a5df499698ffb9b1d901192f089bdc (diff) | |
treewide: installTargets is a list
Diffstat (limited to 'pkgs/development/interpreters/metamath')
| -rw-r--r-- | pkgs/development/interpreters/metamath/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/interpreters/metamath/default.nix b/pkgs/development/interpreters/metamath/default.nix index 3de211915122..2213ace8f572 100644 --- a/pkgs/development/interpreters/metamath/default.nix +++ b/pkgs/development/interpreters/metamath/default.nix @@ -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"; |