add noble to ppa

.github/deploy.yml

@@ -143,6 +143,9 @@ ppa:
         - 'LICENSE.md'
         - 'CHANGES.md'
     distributions:
+        noble:
+            source:
+                Build-Depends: 'debhelper-compat (= 13), dh-python, cmake, python3-dev, python3-cffi, libclingo-dev'
         jammy:
         focal:
         bionic:

.github/ppa-wip/build.sh

@@ -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
@@ -24,7 +24,7 @@ rep="${1}"
 shift
 
 case "${rep}" in
-    jammy|focal|bionic)
+    noble|jammy|focal|bionic)
         ;;
     *)
         usage

.github/ppa-wip/noble/debian/changelog

@@ -0,0 +1,5 @@
+clingo-dl (1.0.0) noble; urgency=medium
+
+  * initial release
+
+ -- Roland Kaminski <kaminski@cs.uni-potsdam.de>  Fri, 02 Jan 2021 13:32:11 +0100

.github/ppa-wip/noble/debian/clingo-dl.install

@@ -0,0 +1 @@
+/usr/bin/*

.github/ppa-wip/noble/debian/control

@@ -0,0 +1,36 @@
+Source: clingo-dl
+Section: devel
+Priority: optional
+Maintainer: Roland Kaminski <kaminski@cs.uni-potsdam.de>
+Build-Depends: debhelper-compat (= 13), dh-python, cmake, python3-dev, python3-cffi, libclingo-dev
+Standards-Version: 4.4.1
+Homepage: https://potassco.org/clingo-dl
+Vcs-Browser: https://github.com/potassco/clingo-dl
+Vcs-Git: https://github.com/potassco/clingo-dl.git
+
+Package: clingo-dl
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}, libclingo-dl (= ${binary:Version})
+Description: A solver for logic programs with linear constraints
+ This package contains the executables.
+
+Package: python3-clingo-dl
+Section: python
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, libclingo-dl (= ${binary:Version}), python3-cffi-backend
+Description: A solver for logic programs with linear constraints
+ This package contains python bindings for clingo-dl.
+
+Package: libclingo-dl
+Section: libs
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}, libclingo
+Description: A solver for logic programs with linear constraints
+ This package contains the shared library.
+
+Package: libclingo-dl-dev
+Section: libdevel
+Architecture: any
+Depends: ${misc:Depends}, libclingo-dl (= ${binary:Version})
+Description: A solver for logic programs with linear constraints
+ This package contains the development files.

.github/ppa-wip/noble/debian/copyright

@@ -0,0 +1,31 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: clingo-dl
+Upstream-Contact: https://github.com/potassco/clingo-dl/issues
+Source: https://github.com/potassco/clingo-dl
+
+Files: *
+Copyright: 2021 Roland Kaminski <kaminski@cs.uni-potsdam.de>
+License: MIT
+
+Files: debian/*
+Copyright: 2021 Roland Kaminski <kaminski@cs.uni-potsdam.de>
+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.

.github/ppa-wip/noble/debian/docs

@@ -0,0 +1 @@
+README.md

.github/ppa-wip/noble/debian/libclingo-dl-dev.install

@@ -0,0 +1,2 @@
+/usr/include/*
+/usr/lib/*/cmake/*

.github/ppa-wip/noble/debian/libclingo-dl.install

@@ -0,0 +1 @@
+/usr/lib/*/*.so*

.github/ppa-wip/noble/debian/python3-clingo-dl.install

@@ -0,0 +1 @@
+/usr/lib/python3/dist-packages/*

.github/ppa-wip/noble/debian/rules

@@ -0,0 +1,7 @@
+#!/usr/bin/make -f
+
+%:
+	dh $@ --with python3
+
+override_dh_auto_configure:
+	dh_auto_configure -- -DCMAKE_LIBRARY_PATH=$(DEB_HOST_MULTIARCH) -DPYCLINGODL_ENABLE=require -DCLINGODL_MANAGE_RPATH=Off -DPYCLINGODL_INSTALL_DIR=/usr/lib/python3/dist-packages

.github/ppa-wip/noble/debian/source/format

@@ -0,0 +1 @@
+3.0 (native)

.github/workflows/ppa-dev.yml

@@ -15,7 +15,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        distribution: [jammy, focal, bionic]
+        distribution: [noble, jammy, focal, bionic]
 
     env:
       distribution: ${{ matrix.distribution }}