Skip to content

Commit

Permalink
improve lua handling
Browse files Browse the repository at this point in the history
  • Loading branch information
rkaminsk committed Jun 23, 2024
1 parent 4ed5cd1 commit 28c1b3a
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 5 deletions.
5 changes: 3 additions & 2 deletions .github/deploy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -142,6 +142,7 @@ ppa:
$(sed -n '/#define CLINGO_VERSION "/s/.*"\([0-9]\+\.[0-9\+]\.[0-9]\+\)".*/\1/p' ../../libclingo/clingo.h)
build_depends:
- 'dh-python'
- 'dh-lua'
create_depends: []
exclude_patterns:
- 'third_party/catch'
Expand All @@ -161,10 +162,10 @@ ppa:
distributions:
noble:
source:
Build-Depends: 'debhelper-compat (= 13), dh-python, cmake, python3-dev, liblua5.4-dev, python3-cffi, bison, re2c'
Build-Depends: 'debhelper-compat (= 13), dh-python, dh-lua, cmake, python3-dev, python3-cffi, bison, re2c'
packages:
clingo:
Depends: '${shlibs:Depends}, ${misc:Depends}, liblua5.4-0, libclingo (= ${binary:Version}), python3-clingo'
Depends: '${shlibs:Depends}, ${misc:Depends}, libclingo (= ${binary:Version}), python3-clingo'
jammy:
focal:
bionic:
Expand Down
4 changes: 2 additions & 2 deletions .github/ppa-wip/noble/debian/control
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Source: clingo
Section: devel
Priority: optional
Maintainer: Roland Kaminski <[email protected]>
Build-Depends: debhelper-compat (= 13), dh-python, cmake, python3-dev, liblua5.4-dev, python3-cffi, bison, re2c
Build-Depends: debhelper-compat (= 13), dh-python, dh-lua, cmake, python3-dev, python3-cffi, bison, re2c
Standards-Version: 4.4.1
Homepage: https://potassco.org/clingo
Vcs-Browser: https://github.com/potassco/clingo
Expand All @@ -11,7 +11,7 @@ Vcs-Git: https://github.com/potassco/clingo.git
Package: clingo
Architecture: any
Section: devel
Depends: ${shlibs:Depends}, ${misc:Depends}, liblua5.4-0, libclingo (= ${binary:Version}), python3-clingo
Depends: ${shlibs:Depends}, ${misc:Depends}, libclingo (= ${binary:Version}), python3-clingo
Description: A solver for logic programs
Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP
offers a simple and powerful modeling language to describe combinatorial
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ppa-dev.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ jobs:
- name: Install prerequisites
run: |
sudo apt-get update
sudo apt-get install pbuilder pbuilder-scripts debootstrap devscripts dh-make dput dh-python
sudo apt-get install pbuilder pbuilder-scripts debootstrap devscripts dh-make dput dh-python dh-lua
- name: Checkout repo
uses: actions/checkout@v3
Expand Down

0 comments on commit 28c1b3a

Please sign in to comment.