From 1c9fb47a6bfccc3a9d0c563db496f34a369f94f1 Mon Sep 17 00:00:00 2001
From: Gabriele Contini <gcontini@users.noreply.github.com>
Date: 周日, 01 9月 2019 13:42:20 +0800
Subject: [PATCH] Merge pull request #39 from open-license-manager/gcontini-libbboost-date-time
---
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