diff --git a/CXX/CXXSources.cmake b/CXX/CXXSources.cmake
new file mode 100644
index 000000000..52dec53fa
--- /dev/null
+++ b/CXX/CXXSources.cmake
@@ -0,0 +1,9 @@
+set (CXX_SOURCES
+    yapa.hh
+    yapdb.hh
+    yapi.cpp
+    yapi.hh
+    yapie.hh
+    yapq.hh
+    yapt.hh
+)
diff --git a/packages/cplint/CMakeLists.txt b/packages/cplint/CMakeLists.txt
index 951e4cff9..5e7a968fb 100644
--- a/packages/cplint/CMakeLists.txt
+++ b/packages/cplint/CMakeLists.txt
@@ -148,7 +148,8 @@ IF (CUDD_FOUND)
 
   install(TARGETS  bddem
     LIBRARY DESTINATION ${dlls}
-    )
+      ARCHIVE DESTINATION ${dlls}
+  )
 
   
   add_library (cplint SHARED