From c996eb4b3ef9ba87dc34c8e212f4cae4e8ee7477 Mon Sep 17 00:00:00 2001
From: Maximilien Siavelis <m@siav.pw>
Date: 周日, 21 4月 2019 22:43:06 +0800
Subject: [PATCH] Merge pull request #19 from willamowius/master

---
 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