From 0ae8069a07b91e4b7be022c84dbac377128f07df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lukas=20B=C3=B6ger?= <mail@lboeger.de>
Date: Tue, 13 Jul 2021 11:39:38 +0100
Subject: [PATCH] fix repeated liblib prefix in library output name

---
 CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f64ce6cb..ad780572 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -142,6 +142,7 @@ target_link_libraries(libchibi-scheme
 
 set_target_properties(libchibi-scheme
     PROPERTIES
+    PREFIX "" # It's liblibchibi-scheme otherwise
     SOVERSION ${CMAKE_PROJECT_VERSION_MAJOR}
     VERSION ${CMAKE_PROJECT_VERSION})