fix win32 compilation

2016-01-31 10:48:17 +00:00 · 2016-01-31 10:48:17 +00:00 · 0671a1623c
parent 60216989f3
commit 0671a1623c
1 changed files with 1 additions and 1 deletions
--- a/packages/swi-minisat2/C/CMakeLists.txt
+++ b/packages/swi-minisat2/C/CMakeLists.txt
@ -44,7 +44,7 @@ pl-minisat.C
  install (
    TARGETS minisat2
    RUNTIME DESTINATION ${bindir}
-    ARCHIVE  DESTINATION ${libdir}
+    ARCHIVE  DESTINATION ${dlls}
    LIBRARY  DESTINATION ${dlls}
  )