From 7bd65a15f0e29aaaa29ee9e7dc6d7b4417ff8ba0 Mon Sep 17 00:00:00 2001 From: Nahum Shalman Date: Wed, 3 Jul 2019 09:42:18 -0400 Subject: [PATCH] jsonnet: ship new jsonnetfmt binary --- pkgs/development/compilers/jsonnet/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/compilers/jsonnet/default.nix b/pkgs/development/compilers/jsonnet/default.nix index d0e689b67605..7bbad0e12016 100644 --- a/pkgs/development/compilers/jsonnet/default.nix +++ b/pkgs/development/compilers/jsonnet/default.nix @@ -15,12 +15,14 @@ stdenv.mkDerivation rec { makeFlags = [ "jsonnet" + "jsonnetfmt" "libjsonnet.so" ]; installPhase = '' mkdir -p $out/bin $out/lib $out/include cp jsonnet $out/bin/ + cp jsonnetfmt $out/bin/ cp libjsonnet*.so $out/lib/ cp -a include/*.h $out/include/ '';