Browse Source

Update from mingw32 to mingw-w64

pull/1417/head
José Eduardo Montenegro Cavalcanti de Oliveira GitHub 3 years ago
parent
commit
a7e028091d
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 6 deletions
  1. +2
    -6
      .travis/install.sh

+ 2
- 6
.travis/install.sh View File

@@ -93,15 +93,11 @@ elif [ "${TARGET}" = "macos" ]; then

elif [ "${TARGET}" = "win32" ]; then
sudo apt-get install -y \
mingw32-x-gcc \
mingw32-x-pkgconfig
mingw-w64

elif [ "${TARGET}" = "win64" ]; then
sudo apt-get install -y \
mingw32-x-gcc \
mingw32-x-pkgconfig \
mingw64-x-gcc \
mingw64-x-pkgconfig
mingw-w64

elif [ "${TARGET}" = "pylint" ]; then
sudo apt-get install -y \


Loading…
Cancel
Save