Skip to content

Build

Build #248

Workflow file for this run

name: Build
on:
schedule:
- cron: "0 0 * * *"
workflow_dispatch:
push:
pull_request:
jobs:
build:
runs-on: ubuntu-latest
env:
CMAKE_BUILD_TYPE: Release
CMAKE_CXX_COMPILER: g++
CMAKE_CXX_FLAGS: ""
CMAKE_PROGRAM_PATH: ${{github.workspace}}/alive2/build
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Install dependencies (Linux)
run: |
wget -O- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy main"
sudo apt-get update
sudo apt-get install z3 re2c ninja-build clang llvm-dev libgtest-dev
- name: Checkout Alive2
uses: actions/checkout@v4
with:
repository: dtcxzyw/alive2
ref: ci
path: alive2
- name: Compile Alive2
run: ${{github.workspace}}/.github/scripts/build-tv.sh
working-directory: alive2
- name: Compile
run: ./.github/scripts/build.sh
- name: Run Tests
run: ctest
working-directory: build
- name: Checkout libpng
uses: actions/checkout@v4
with:
repository: pnggroup/libpng
path: libpng
- name: Test libpng
run: ${{github.workspace}}/.github/scripts/build-libpng.sh
working-directory: libpng