diamond/.github/workflows/arm64.yml at master · uditkarode/diamond · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
name: Bob the Builder

on:
  push:
    branches: [master]

jobs:
  cabal:
    name: linux-arm64
    runs-on: self-hosted
    strategy:
      fail-fast: false

    steps:
    - uses: actions/checkout@v2

    - name: Install dependencies
      run: cabal new-build -O2 --disable-debug-info --enable-executable-stripping --enable-library-stripping --disable-debug-info --disable-library-for-ghci all --only-dependencies
      working-directory: ${{ github.workspace }}

    - name: Build
      run: cabal new-build -O2 --disable-debug-info --enable-executable-stripping --enable-library-stripping --disable-debug-info --disable-library-for-ghci all
      working-directory: ${{ github.workspace }}

    - name: Copy executable
      run: cp dist-newstyle/build/aarch64-*/ghc-*/diamond-$(cat diamond.cabal | grep '^version' | awk '{print $2}')/x/diamond/opt/build/diamond/diamond diamond
      shell: bash
      working-directory: ${{ github.workspace }}

    - name: Strip executable
      run: strip diamond
      shell: bash
      working-directory: ${{ github.workspace }}

    - uses: actions/upload-artifact@v2
      with:
        name: diamond-arm64
        path: ${{ github.workspace }}/diamond

    - name: Remove temporary executable
      run: rm diamond