5d53bb85 |
1 | name: CI (Linux arm64) |
2 | on: [push, pull_request] |
3 | jobs: |
4 | build-linux: |
5 | runs-on: ubuntu-latest |
6 | steps: |
7 | - uses: actions/checkout@v2 |
8 | with: |
9 | submodules: true |
10 | - name: Install dependencies |
11 | run: | |
12 | whoami |
13 | sudo bash -c 'echo ''deb [arch=arm64] http://ports.ubuntu.com/ubuntu-ports focal main restricted universe'' > /etc/apt/sources.list.d/arm64.list' |
14 | sudo sed -i 's/^deb \([^[]\)/deb [arch=amd64] \1/' /etc/apt/sources.list |
15 | sudo dpkg --add-architecture arm64 |
16 | sudo apt-get update -qq |
17 | sudo apt-get install -y gcc-aarch64-linux-gnu g++-aarch64-linux-gnu |
18 | .github/extract-foreign-all.sh arm64 |
19 | - name: configure |
d2bbb7d0 |
20 | run: DUMP_CONFIG_LOG=1 CROSS_COMPILE=aarch64-linux-gnu- SDL_CONFIG=usr/bin/sdl-config PATH=$PATH:usr/bin CFLAGS='-Iusr/include/ -Iusr/include/SDL' LDFLAGS='-Lusr/lib/aarch64-linux-gnu/ -Llib/aarch64-linux-gnu/ -Wl,-rpath-link=lib/aarch64-linux-gnu/,-rpath-link=usr/lib/aarch64-linux-gnu/,-rpath-link=usr/lib/aarch64-linux-gnu/pulseaudio/' ./configure |
5d53bb85 |
21 | - name: make |
22 | run: make |