projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
37c800c
)
Fix win-build script to use MinGW-w64 by default
author
Andres Notzli
<andres.noetzli@gmail.com>
Wed, 15 Mar 2017 08:25:39 +0000
(
01:25
-0700)
committer
Andres Notzli
<andres.noetzli@gmail.com>
Wed, 15 Mar 2017 08:26:49 +0000
(
01:26
-0700)
Previous changes to the win-build script left the script in an
inconsistent state: the script was updated to refer to MinGW-w64 but the
default host was still referring to MinGW.
contrib/win-build
patch
|
blob
|
history
diff --git
a/contrib/win-build
b/contrib/win-build
index dee9a8af2a6fba1a6eaab9b0525d7400884a3251..9a1a257a0e9a92b9be619ba1e000f9cce5eb566e 100755
(executable)
--- a/
contrib/win-build
+++ b/
contrib/win-build
@@
-13,7
+13,7
@@
if [ $# -ne 0 ]; then
fi
if [ -z "$HOST" ]; then
- HOST=i
586-mingw32msvc
+ HOST=i
686-w64-mingw32
echo "WARNING:"
echo "WARNING: Using default HOST value: $HOST"
echo "WARNING: You should probably run this script like this:"