mirror of
https://github.com/anoma/juvix.git
synced 2024-12-16 10:56:14 +03:00
0e3f76410d
This error occurs when building with stack: ``` Run stack install --system-ghc --ghc-options='-split-sections -optl-static' 4 Preventing creation of stack root '/github/home/.stack/'. Parent directory '/github/home/' is owned by someone else. 5 Error: Process completed with exit code 1. ``` https://github.com/commercialhaskell/stack/issues/2187
45 lines
1.1 KiB
YAML
45 lines
1.1 KiB
YAML
name: Build Linux static binary
|
|
|
|
on:
|
|
workflow_dispatch:
|
|
inputs:
|
|
ref:
|
|
description: 'the repository ref to build'
|
|
required: true
|
|
default: 'main'
|
|
|
|
jobs:
|
|
build:
|
|
name: Build static binary
|
|
runs-on: ubuntu-latest
|
|
container: ghcr.io/paulcadman/ghc-alpine:9.2.4
|
|
steps:
|
|
- name: checkout code
|
|
uses: actions/checkout@v3
|
|
with:
|
|
submodules: true
|
|
ref: ${{ github.event.inputs.ref }}
|
|
|
|
- name: create ~/.local/bin
|
|
run: mkdir -p "$HOME/.local/bin"
|
|
shell: bash
|
|
|
|
- name: Add ~/.local/bin to PATH
|
|
run: echo "$HOME/.local/bin" >> $GITHUB_PATH
|
|
shell: bash
|
|
|
|
- name: Stack permissions bug workaround
|
|
run: "chown -R $(id -un):$(id -gn) ~"
|
|
|
|
- name: build Juvix
|
|
run: stack install --system-ghc --ghc-options='-split-sections -optl-static'
|
|
|
|
- run: echo "HOME=$HOME" >> $GITHUB_ENV
|
|
shell: bash
|
|
|
|
- name: upload artifact
|
|
uses: actions/upload-artifact@v3
|
|
with:
|
|
name: juvix-linux_x86_64-${{ github.event.inputs.ref }}
|
|
path: ${{ env.HOME }}/.local/bin/juvix
|