Skip to content

Commit

Permalink
add ppa for noble
Browse files Browse the repository at this point in the history
commit 28ce9c270445979e6ac78ca12e4ee1e2fda6dc9e
Author: Roland Kaminski <[email protected]>
Date:   Sun Jun 23 10:09:17 2024 +0200

    add noble

commit 670956fa8f58f35be3cfc03d641da3c3d27311e5
Author: Roland Kaminski <[email protected]>
Date:   Sun Jun 23 10:07:29 2024 +0200

    update version

commit bafbb2ee5bfcf88c920c49ef9d4e18af13b1bc1c
Author: Roland Kaminski <[email protected]>
Date:   Sun Jun 23 09:02:27 2024 +0200

    add noble
  • Loading branch information
rkaminsk committed Jun 23, 2024
1 parent 2d30e26 commit 9a402a5
Show file tree
Hide file tree
Showing 12 changed files with 98 additions and 3 deletions.
4 changes: 2 additions & 2 deletions .github/ppa-wip/build.sh
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#!/bin/bash

function usage {
echo "./$(basename $0) {stable,wip} {jammy,focal,bionic} {create,sync,changes,build,put,clean}*"
echo "./$(basename $0) {stable,wip} {noble,jammy,focal,bionic} {create,sync,changes,build,put,clean}*"
}

if [[ $# < 1 ]]; then
Expand All @@ -24,7 +24,7 @@ rep="${1}"
shift

case "${rep}" in
jammy|focal|bionic)
noble|jammy|focal|bionic)
;;
*)
usage
Expand Down
5 changes: 5 additions & 0 deletions .github/ppa-wip/noble/debian/changelog
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
clingo (5.5.0) noble; urgency=medium

* initial release

-- Roland Kaminski <[email protected]> Fri, 02 Jan 2021 13:32:11 +0100
1 change: 1 addition & 0 deletions .github/ppa-wip/noble/debian/clingo.install
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
/usr/bin/*
43 changes: 43 additions & 0 deletions .github/ppa-wip/noble/debian/control
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
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
Standards-Version: 4.4.1
Homepage: https://potassco.org/clingo
Vcs-Browser: https://github.com/potassco/clingo
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
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
problems as logic programs. The clingo system then takes such a logic program
and computes answer sets representing solutions to the given problem. To get
an idea, check our Getting Started page and the online version of clingo.
.
This package contains the executables.

Package: python3-clingo
Section: python
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, libclingo (= ${binary:Version}), python3-cffi-backend
Description: A solver for logic programs
This package contains python bindings for clingo.

Package: libclingo
Section: libs
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: A solver for logic programs
This package contains the shared library.

Package: libclingo-dev
Section: libdevel
Architecture: any
Depends: ${misc:Depends}, libclingo (= ${binary:Version})
Description: A solver for logic programs
This package contains the development files.
31 changes: 31 additions & 0 deletions .github/ppa-wip/noble/debian/copyright
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: clingo
Upstream-Contact: https://github.com/potassco/clingo/issues
Source: https://github.com/potassco/clingo

Files: *
Copyright: 2021 Roland Kaminski <[email protected]>
License: MIT

Files: debian/*
Copyright: 2021 Roland Kaminski <[email protected]>
License: MIT

License: MIT
Permission is hereby granted, free of charge, to any person obtaining a
copy of this software and associated documentation files (the "Software"),
to deal in the Software without restriction, including without limitation
the rights to use, copy, modify, merge, publish, distribute, sublicense,
and/or sell copies of the Software, and to permit persons to whom the
Software is furnished to do so, subject to the following conditions:
.
The above copyright notice and this permission notice shall be included
in all copies or substantial portions of the Software.
.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
1 change: 1 addition & 0 deletions .github/ppa-wip/noble/debian/docs
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
README.md
2 changes: 2 additions & 0 deletions .github/ppa-wip/noble/debian/libclingo-dev.install
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
/usr/include/*
/usr/lib/*/cmake/*
1 change: 1 addition & 0 deletions .github/ppa-wip/noble/debian/libclingo.install
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
/usr/lib/*/*.so*
1 change: 1 addition & 0 deletions .github/ppa-wip/noble/debian/python3-clingo.install
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
/usr/lib/python3/dist-packages/*
9 changes: 9 additions & 0 deletions .github/ppa-wip/noble/debian/rules
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
#!/usr/bin/make -f

export CLINGO_BUILD_REVISION =

%:
dh $@ --with python3

override_dh_auto_configure:
dh_auto_configure -- -DCMAKE_LIBRARY_PATH=$(DEB_HOST_MULTIARCH) -DCLINGO_BUILD_REVISION=$(CLINGO_BUILD_REVISION) -DCLINGO_BUILD_WITH_LUA=On -DCLINGO_BUILD_WITH_PYTHON=On -DCLINGO_MANAGE_RPATH=Off -DPYCLINGO_INSTALL_DIR=/usr/lib/python3/dist-packages
1 change: 1 addition & 0 deletions .github/ppa-wip/noble/debian/source/format
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
3.0 (native)
2 changes: 1 addition & 1 deletion .github/workflows/ppa-dev.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:
strategy:
fail-fast: false
matrix:
distribution: [jammy, focal, bionic]
distribution: [noble, jammy, focal, bionic]

env:
distribution: ${{ matrix.distribution }}
Expand Down

0 comments on commit 9a402a5

Please sign in to comment.