]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Added windows build. 9856/head
authorLuca Heltai <luca.heltai@sissa.it>
Wed, 8 Apr 2020 09:45:10 +0000 (11:45 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Wed, 8 Apr 2020 09:46:34 +0000 (11:46 +0200)
.github/workflows/main.yml

index 6cbf077e1aff774d4447ff4e9ece0e6ec13c2caa..8504fad17a3991d859004aa9dd8be54de868eb5d 100644 (file)
@@ -95,3 +95,42 @@ jobs:
         ./contrib/utilities/check_indentation.sh
         make -j 2
         make -j 2 test #quicktests
+
+  windows-serial:
+    # Serial build on Windows
+    name: Windows Serial
+    runs-on: [windows-latest]
+
+    steps:
+    - uses: actions/checkout@v1
+    - name: info
+      run: |
+        cmake --version
+        wmic logicaldisk get size, freespace, caption
+    - name: configure
+      shell: bash
+      run: |
+        mkdir build
+        mkdir c:/project
+        cd build
+        cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=c:/project ..
+    - name: archive logs
+      uses: actions/upload-artifact@v1
+      with:
+        name: windows-serial-detailed.log
+        path: build/detailed.log
+    - name: build library
+      shell: bash
+      run: |
+        cmake --build build  --target install -- -m
+        cd c:/project
+        7z a dealii-windows.zip *
+    - name: test library
+      shell: bash
+      run: |
+        cmake --build build  --target test -- -m
+    - name: archive library
+      uses: actions/upload-artifact@v1
+      with:
+        name: dealii-windows.zip
+        path: c:/project/dealii-windows.zip

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.