From 0671a1623c3e0b7463ea9f112fd1bb77a238adcd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sun, 31 Jan 2016 10:48:17 +0000
Subject: [PATCH] fix win32 compilation

---
 packages/swi-minisat2/C/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/swi-minisat2/C/CMakeLists.txt b/packages/swi-minisat2/C/CMakeLists.txt
index e5571b12a..919549d8e 100644
--- 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}
   )