From d953c0f503e84d935bd25a833037ab89b04a2ab2 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Wed, 24 Aug 2022 13:52:43 +0200
Subject: [PATCH] fix: drop the leading space

---
 Setup.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Setup.hs b/Setup.hs
index 4a9ad07a..d446377b 100644
--- a/Setup.hs
+++ b/Setup.hs
@@ -139,7 +139,7 @@ mkInfo = do
     getPath s =
       let l = last (lines s)
       in if take 14 l == "Shared folder:"
-           then Just (drop 14 l </> "lib")
+           then Just (drop 15 l </> "lib")
            else Nothing
 
 getRGLBuildDir :: Info -> Mode -> FilePath