From 11fa28a8bba38935e5300433458f9405f682e42d Mon Sep 17 00:00:00 2001
From: Anichitei Ionel-Cristinel <49393881+ianichitei@users.noreply.github.com>
Date: Wed, 18 Nov 2020 13:06:19 +0200
Subject: [PATCH] Fix CMake install target

This should fix #30
---
 CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ddc19ce..48c6839 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -127,6 +127,7 @@ CONFIGURE_FILE("${CMAKE_STATIC_LIBRARY_PREFIX}bddisasm.pc.in"
 
 INSTALL(TARGETS bddisasm bdshemu
     LIBRARY DESTINATION "${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR}"
+    ARCHIVE DESTINATION "${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR}"
     PUBLIC_HEADER DESTINATION "${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_INCLUDEDIR}/bddisasm"
     )