vfdeps: Include Z3 DLL import library

NielsMommen · Jan 5, 2018 · 18e608e · 18e608e
1 parent 3664234
commit 18e608e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make_vfdeps_win32/Makefile b/make_vfdeps_win32/Makefile
@@ -222,7 +222,7 @@ $(Z3_BUILD): $(Z3_CFG)
 	cd $(Z3_DIR)/build && make
 
 $(Z3_BINARY): $(Z3_BUILD)
-	cd $(Z3_DIR)/build && make install
+	cd $(Z3_DIR)/build && make install && cp build/libz3.dll.a $(PREFIX)/lib
 
 z3: $(Z3_BINARY)
 .PHONY: z3