From c0d61ea38a684301c6937d8d4067765abdc5aaaa Mon Sep 17 00:00:00 2001
From: Maximilien Siavelis <m@siav.pw>
Date: 周四, 08 8月 2019 02:47:00 +0800
Subject: [PATCH] Merge pull request #26 from emgstabilis/25-generation-of-pc-identifier-fails-with-default-strategy-if-no-disk

---
 src/tools/base_lib/CMakeLists.txt |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/tools/base_lib/CMakeLists.txt b/src/tools/base_lib/CMakeLists.txt
index dd1df79..009056a 100644
--- a/src/tools/base_lib/CMakeLists.txt
+++ b/src/tools/base_lib/CMakeLists.txt
@@ -17,3 +17,5 @@
      tools_base
      ${EXTERNAL_LIBS}
 )
+
+install(TARGETS tools_base ARCHIVE DESTINATION lib)

--
Gitblit v1.9.1