From 420adab3ac3012dec90cf172139ccb8aa80bf265 Mon Sep 17 00:00:00 2001
From: Gabriele Contini <contini.mailing@gmail.com>
Date: 周四, 12 9月 2019 21:49:29 +0800
Subject: [PATCH] minor updates and documentation

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