update deploy

potassco · Jun 23, 2024 · 4ed5cd1 · 4ed5cd1
1 parent 9a402a5
commit 4ed5cd1
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.github/deploy.yml b/.github/deploy.yml
@@ -159,6 +159,12 @@ ppa:
     sync_script: |
         sed -i "s/export CLINGO_BUILD_REVISION =.*/export CLINGO_BUILD_REVISION = $(git rev-parse --short HEAD)/" ${rep}/debian/rules
     distributions:
+        noble:
+            source:
+                Build-Depends: 'debhelper-compat (= 13), dh-python, cmake, python3-dev, liblua5.4-dev, python3-cffi, bison, re2c'
+            packages:
+                clingo:
+                    Depends: '${shlibs:Depends}, ${misc:Depends}, liblua5.4-0, libclingo (= ${binary:Version}), python3-clingo'
         jammy:
         focal:
         bionic:

diff --git a/.github/workflows/conda-dev.yml b/.github/workflows/conda-dev.yml
@@ -71,7 +71,7 @@ jobs:
       env:
         ANACONDA_API_TOKEN: ${{ secrets.ANACONDA_TOKEN }}
 
-    - name: publish conda package (wip; arm64)
+    - name: publish conda package (wip; osx-64)
       if: ${{ github.event.inputs.wip == 'true' && matrix.os == 'macos-latest' }}
       shell: pwsh
       run: |
@@ -80,7 +80,7 @@ jobs:
         CONDA_SUBDIR: osx-64
         ANACONDA_API_TOKEN: ${{ secrets.ANACONDA_TOKEN }}
 
-    - name: publish conda package (release; arm64)
+    - name: publish conda package (release; osx-64)
       if: ${{ github.event.inputs.wip == 'false' && matrix.os == 'macos-latest' }}
       shell: pwsh
       run: |