From 8d10197164830e3e8cbc6ed321e5fe920299c162 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 10 Oct 2021 11:25:11 +0200
Subject: [PATCH] fix: `leanpkg print-paths` with longer output

---
 src/Leanpkg.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Leanpkg.lean b/src/Leanpkg.lean
index baca20288c..18c42325f4 100644
--- a/src/Leanpkg.lean
+++ b/src/Leanpkg.lean
@@ -108,7 +108,7 @@ def buildImports (imports : List String) (leanArgs : List String) : IO Unit := d
       execMake oleans buildCfg
     else
       Build.buildModules buildCfg localImports
-  IO.println <| Lean.toJson cfg.toLeanPaths
+  IO.println <| Lean.Json.compress <| Lean.toJson cfg.toLeanPaths
 
 def build (makeArgs leanArgs : List String) : IO Unit := do
   let cfg ← configure