← Back to branch summary

~tapaal-ltl/verifypn/ltl-trace-fixes

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2021-07-05 10:34:03 UTC
  • mfrom: (240.2.1 github-automation)
  • Revision ID: srba@cs.aau.dk-20210705103403-i59qld0h31puaoz4
merged in lp:~yrke/verifypn/github-automation adding github actions

Show diffs side-by-side

added added

removed removed

Lines of Context:
.github/workflows/build-macos.yml
 
1
name: Build MacOS
 
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: macos-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
          brew install flex bison #gcc-9 git cmake 
 
30
        
 
31
      - name: Build 
 
32
        uses: lukka/run-cmake@v2.5
 
33
        with:
 
34
          cmakeListsOrSettingsJson: CMakeListsTxtAdvanced
 
35
          cmakeAppendedArgs: >-
 
36
            -DVERIFYPN_Static=ON 
 
37
            -DVERIFYPN_MC_Simplification=OFF 
 
38
            -DBISON_EXECUTABLE=/usr/local/opt/bison/bin/bison 
 
39
            -DFLEX_EXECUTABLE=/usr/local/opt/flex/bin/flex
 
40
          cmakeBuildType: Release
 
41
          cmakeGenerator: UnixMakefiles
 
42
          buildDirectory: '${{runner.workspace}}/build'
 
43
        env:
 
44
          CC: gcc-9
 
45
          CXX: g++-9
 
46
          
 
47
      - name: Upload artifacts 
 
48
        uses: actions/upload-artifact@v2
 
49
        with:
 
50
          name: verifydtapn-osx64
 
51
          path: '${{runner.workspace}}/build/bin/verifypn-osx64'