← Back to branch summary

~yrke/verifypn/fixed-required-bison-version

« back to all changes in this revision

Viewing changes to .github/workflows/build-win.yml

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2021-06-14 12:39:38 UTC
  • mto: This revision was merged to the branch mainline in revision 242.
  • Revision ID: kenneth@yrke.dk-20210614123938-xqidkpt3cef2fv7y
Added github actions script to automatic build and upload verifypn

Adds github actions for building verifypn on win,macos and linux.
Runs checks on every commit to master and pull-requests

Show diffs side-by-side

added added

removed removed

Lines of Context:
.github/workflows/build-win.yml
 
1
name: Build Windows (Cross)
 
2
 
 
3
# Controls when the action will run. 
 
4
on:
 
5
  # Triggers the workflow on push or pull request events but only for the master branch
 
6
  push:
 
7
    branches: [ marster ]
 
8
  pull_request:
 
9
    branches: [ marster ]
 
10
 
 
11
  # Allows you to run this workflow manually from the Actions tab
 
12
  workflow_dispatch:
 
13
 
 
14
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
 
15
jobs:
 
16
  # This workflow contains a single job called "build"
 
17
  build:
 
18
    # The type of runner that the job will run on
 
19
    runs-on: ubuntu-latest
 
20
 
 
21
    # Steps represent a sequence of tasks that will be executed as part of the job
 
22
    steps:
 
23
      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
 
24
      - uses: actions/checkout@v2
 
25
 
 
26
      # Runs a single command using the runners shell
 
27
      - name: Install Packages
 
28
        run: |
 
29
          sudo apt-get install build-essential cmake flex bison git make
 
30
          sudo apt-get install mingw-w64-x86-64-dev mingw-w64-tools g++-mingw-w64-x86-64 wine wine-binfmt
 
31
 
 
32
      - name: Build 
 
33
        uses: lukka/run-cmake@v2.5
 
34
        with:
 
35
          cmakeListsOrSettingsJson: CMakeListsTxtAdvanced
 
36
          cmakeAppendedArgs: >-
 
37
            -DCMAKE_TOOLCHAIN_FILE=${{runner.workspace}}/verifypn/toolchain-x86_64-w64-mingw32.cmake
 
38
            -DVERIFYPN_Static=ON 
 
39
            -DVERIFYPN_MC_Simplification=OFF
 
40
          cmakeBuildType: Release
 
41
          cmakeGenerator: UnixMakefiles
 
42
          buildDirectory: '${{runner.workspace}}/build'     
 
43
      - name: Upload artifacts 
 
44
        uses: actions/upload-artifact@v2
 
45
        with:
 
46
          name: verifytapn-win64.exe
 
47
          path: '${{runner.workspace}}/build/bin/verifypn-win64.exe'