diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2020-07-07 12:02:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-07 12:02:35 +0200 |
| commit | 47d1da0845814b947113a6786555e6d2672f6533 (patch) | |
| tree | 967a28e1e7f740ec866c324a3de7fe0b60255f06 | |
| parent | 8a052edca20a7d45817f4a7fecfbcdf8cb64c7ff (diff) | |
| parent | 4594c36cfb4ad8cdefbd356aa2f3e664e877a711 (diff) | |
Merge pull request #65 from GrammaticalFramework/build-debian-package
Build Debian package via GitHub action
| -rw-r--r-- | .github/workflows/build-debian-package.yml | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/.github/workflows/build-debian-package.yml b/.github/workflows/build-debian-package.yml new file mode 100644 index 000000000..17bbef66b --- /dev/null +++ b/.github/workflows/build-debian-package.yml @@ -0,0 +1,48 @@ +name: Build Debian Package + +on: [push, pull_request] + +jobs: + build: + name: Build on ${{ matrix.os }} + runs-on: ${{ matrix.os }} + strategy: + fail-fast: true + matrix: + os: [ubuntu-18.04] + env: + LC_ALL: C.UTF-8 + + steps: + - uses: actions/checkout@v1 + + - name: Install build tools + run: | + sudo apt install -y \ + make \ + dpkg-dev \ + debhelper \ + haskell-platform \ + libghc-json-dev \ + python-dev \ + default-jdk \ + libtool-bin \ + txt2tags \ + pandoc + + - name: Checkout RGL + run: | + git clone --depth 1 https://github.com/GrammaticalFramework/gf-rgl.git ../gf-rgl + + - name: Build Debian package + run: | + make deb + + - name: Copy packages + run: | + mkdir debian/dist + cp ../gf_*.deb debian/dist/ + + - uses: actions/upload-artifact@v2 + with: + path: debian/dist |