You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
60 lines
1.6 KiB
60 lines
1.6 KiB
name: build
|
|
on:
|
|
push:
|
|
pull_request:
|
|
|
|
jobs:
|
|
install_pa_sources:
|
|
name: install PA sources
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
# Set steps.os.outputs.image to the specific OS (e.g. 'ubuntu20')
|
|
- name: Get operating system name and version.
|
|
id: os
|
|
run: echo "image=$ImageOS" >>$GITHUB_OUTPUT
|
|
shell: bash
|
|
- uses: actions/checkout@v3
|
|
- name: Cache pulseaudio source
|
|
uses: actions/cache@v3
|
|
env:
|
|
cache-name: cache-pulseaudio-src
|
|
with:
|
|
path: ~/pulseaudio.src
|
|
key: ${{ steps.os.outputs.image }}-build-${{ env.cache-name }}
|
|
- run: scripts/install_pulseaudio_sources_apt.sh
|
|
|
|
build:
|
|
strategy:
|
|
fail-fast: false
|
|
matrix:
|
|
include:
|
|
|
|
- CC: gcc
|
|
|
|
- CC: clang
|
|
|
|
name: build with ${{ matrix.CC }}
|
|
runs-on: ubuntu-latest
|
|
needs: install_pa_sources
|
|
env:
|
|
CC: ${{ matrix.CC }}
|
|
CFLAGS: -Wall -Wextra -Werror
|
|
|
|
steps:
|
|
- name: Get operating system name and version.
|
|
id: os
|
|
run: echo "image=$ImageOS" >>$GITHUB_OUTPUT
|
|
shell: bash
|
|
- name: Fetch pulseaudio sources
|
|
uses: actions/cache@v3
|
|
env:
|
|
cache-name: cache-pulseaudio-src
|
|
with:
|
|
path: ~/pulseaudio.src
|
|
key: ${{ steps.os.outputs.image }}-build-${{ env.cache-name }}
|
|
- uses: actions/checkout@v3
|
|
- run: sudo apt-get update
|
|
- run: sudo apt-get -yq install build-essential libpulse-dev
|
|
- run: ./bootstrap
|
|
- run: ./configure PULSE_DIR=~/pulseaudio.src
|
|
- run: make
|