Skip to content

Build MacOS

Build MacOS #464

Workflow file for this run

name: Build MacOS
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
types: [synchronize, opened, reopened, ready_for_review]
workflow_dispatch:
concurrency:
group: build-MacOS-${{ github.head_ref }}
cancel-in-progress: true
jobs:
build:
if: github.event.pull_request.draft == false
runs-on: macos-11
steps:
- uses: actions/checkout@v2
- name: Install Packages
run: |
brew install flex bison autoconf automake libtool
echo 'export PATH="/usr/local/opt/bison/bin:$PATH"' >> /Users/runner/.bash_profile
echo 'export PATH="/usr/local/opt/flex/bin:$PATH"' >> /Users/runner/.bash_profile
- name: Build
uses: lukka/[email protected]
with:
cmakeListsOrSettingsJson: CMakeListsTxtAdvanced
cmakeAppendedArgs: >-
-DVERIFYPN_Static=ON
-DVERIFYPN_MC_Simplification=OFF
-DBISON_EXECUTABLE=/usr/local/opt/bison/bin/bison
-DFLEX_EXECUTABLE=/usr/local/opt/flex/bin/flex
cmakeBuildType: Release
cmakeGenerator: UnixMakefiles
buildDirectory: '${{runner.workspace}}/build'
env:
CC: gcc-10
CXX: g++-10
- name: Upload artifacts
uses: actions/upload-artifact@v2
with:
name: verifypn-osx64
path: '${{runner.workspace}}/build/verifypn/bin/verifypn-osx64'