]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e21ef1d)
[CI] github-actions windows: disable zlib 10499/head
authorTimo Heister <timo.heister@gmail.com>
Wed, 10 Jun 2020 15:02:14 +0000 (11:02 -0400)
committerTimo Heister <timo.heister@gmail.com>
Wed, 10 Jun 2020 15:02:14 +0000 (11:02 -0400)
The zlib found on the system is a x86 lib that is not compatible with
our x64 build. Disable auto detection for now.

.github/workflows/windows.yml patch | blob | history

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index b7a59f4f6672d42f1da262c29b79d2fe5304688c..3a1f7e865191d2d8bd87d86eb2a8b9956e92b788 100644 (file)
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -24,7 +24,7 @@ jobs:
         mkdir build
         mkdir c:/project
         cd build
-        cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=c:/project -DDEAL_II_CXX_FLAGS="-WX" -T host=x64 ..
+        cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=c:/project -DDEAL_II_WITH_ZLIB=off -DDEAL_II_CXX_FLAGS="-WX" -T host=x64 ..
     - name: archive logs
       uses: actions/upload-artifact@v1
       with:
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.