diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml new file mode 100644 index 00000000..e195c34e --- /dev/null +++ b/.github/workflows/build.yml @@ -0,0 +1,30 @@ +name: Build + +on: [push, pull_request] + +jobs: + build: + runs-on: ubuntu-18.04 + env: + GF_VERSION: 3.10-1 + DEST: out/ + + steps: + - uses: actions/checkout@v2 + + - name: Install GF + run: | + curl -s https://www.grammaticalframework.org/download/gf_${GF_VERSION}_amd64.deb -o gf.deb + sudo dpkg -i gf.deb + + - name: Build RGL + run: | + mkdir -p ${DEST} + bash Setup.sh --dest=${DEST} --gf=gf --verbose + + - name: Upload artifact + uses: actions/upload-artifact@v2 + with: + name: gf-rgl-${{ github.sha }} + path: ${{ env.DEST }} + if-no-files-found: error diff --git a/Setup.sh b/Setup.sh index 6e8c5e1f..7141f68f 100755 --- a/Setup.sh +++ b/Setup.sh @@ -97,4 +97,4 @@ done # Copy echo "Copying to ${dest}" -cp -R -p "${dist}"/* "${dest}" +cp -R "${dist}"/* "${dest}"