diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-17 00:01:05 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-17 00:01:05 +0100 |
| commit | 8550f8deaf6d7095963bfd6998a512ac87a43cd5 (patch) | |
| tree | 9ab95f5452268c1864e12b9facfa5a34a87dc700 /.github | |
| parent | 5a6acf1d47a7c4b4ba5c20aa5ca9f7484592e404 (diff) | |
Remove RGL and HTML from Debian build
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-debian-package.yml | 27 |
1 files changed, 10 insertions, 17 deletions
diff --git a/.github/workflows/build-debian-package.yml b/.github/workflows/build-debian-package.yml index 09719aaa8..bd607fb59 100644 --- a/.github/workflows/build-debian-package.yml +++ b/.github/workflows/build-debian-package.yml @@ -1,20 +1,21 @@ name: Build Debian Package -on: [push, pull_request] +on: + push: + workflow_dispatch: 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 + - uses: actions/checkout@v2 - name: Install build tools run: | @@ -27,23 +28,15 @@ jobs: 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 + libtool-bin - name: Build Debian package run: | make deb - - name: Copy packages - run: | - mkdir debian/dist - cp ../gf_*.deb debian/dist/ - - - uses: actions/upload-artifact@v2 + - name: Upload artifact + uses: actions/upload-artifact@v2 with: - path: debian/dist + name: Debian package + path: ../gf_*.deb + if-no-files-found: error |