diff --git a/.github/deploy.yml b/.github/deploy.yml index 1df34f4e..bdcfd0a9 100644 --- a/.github/deploy.yml +++ b/.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: diff --git a/.github/ppa-wip/build.sh b/.github/ppa-wip/build.sh index ff3d649a..42062aab 100755 --- a/.github/ppa-wip/build.sh +++ b/.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 diff --git a/.github/ppa-wip/noble/debian/changelog b/.github/ppa-wip/noble/debian/changelog new file mode 100644 index 00000000..1ca3c268 --- /dev/null +++ b/.github/ppa-wip/noble/debian/changelog @@ -0,0 +1,5 @@ +clingo-dl (1.0.0) noble; urgency=medium + + * initial release + + -- Roland Kaminski Fri, 02 Jan 2021 13:32:11 +0100 diff --git a/.github/ppa-wip/noble/debian/clingo-dl.install b/.github/ppa-wip/noble/debian/clingo-dl.install new file mode 100644 index 00000000..4cb4bd35 --- /dev/null +++ b/.github/ppa-wip/noble/debian/clingo-dl.install @@ -0,0 +1 @@ +/usr/bin/* diff --git a/.github/ppa-wip/noble/debian/control b/.github/ppa-wip/noble/debian/control new file mode 100644 index 00000000..8ae491ad --- /dev/null +++ b/.github/ppa-wip/noble/debian/control @@ -0,0 +1,36 @@ +Source: clingo-dl +Section: devel +Priority: optional +Maintainer: Roland Kaminski +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. diff --git a/.github/ppa-wip/noble/debian/copyright b/.github/ppa-wip/noble/debian/copyright new file mode 100644 index 00000000..4983f59b --- /dev/null +++ b/.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 +License: MIT + +Files: debian/* +Copyright: 2021 Roland Kaminski +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. diff --git a/.github/ppa-wip/noble/debian/docs b/.github/ppa-wip/noble/debian/docs new file mode 100644 index 00000000..b43bf86b --- /dev/null +++ b/.github/ppa-wip/noble/debian/docs @@ -0,0 +1 @@ +README.md diff --git a/.github/ppa-wip/noble/debian/libclingo-dl-dev.install b/.github/ppa-wip/noble/debian/libclingo-dl-dev.install new file mode 100644 index 00000000..b198530d --- /dev/null +++ b/.github/ppa-wip/noble/debian/libclingo-dl-dev.install @@ -0,0 +1,2 @@ +/usr/include/* +/usr/lib/*/cmake/* diff --git a/.github/ppa-wip/noble/debian/libclingo-dl.install b/.github/ppa-wip/noble/debian/libclingo-dl.install new file mode 100644 index 00000000..e405ec73 --- /dev/null +++ b/.github/ppa-wip/noble/debian/libclingo-dl.install @@ -0,0 +1 @@ +/usr/lib/*/*.so* diff --git a/.github/ppa-wip/noble/debian/python3-clingo-dl.install b/.github/ppa-wip/noble/debian/python3-clingo-dl.install new file mode 100644 index 00000000..3c9147d7 --- /dev/null +++ b/.github/ppa-wip/noble/debian/python3-clingo-dl.install @@ -0,0 +1 @@ +/usr/lib/python3/dist-packages/* diff --git a/.github/ppa-wip/noble/debian/rules b/.github/ppa-wip/noble/debian/rules new file mode 100755 index 00000000..5d274ad5 --- /dev/null +++ b/.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 diff --git a/.github/ppa-wip/noble/debian/source/format b/.github/ppa-wip/noble/debian/source/format new file mode 100644 index 00000000..89ae9db8 --- /dev/null +++ b/.github/ppa-wip/noble/debian/source/format @@ -0,0 +1 @@ +3.0 (native) diff --git a/.github/workflows/ppa-dev.yml b/.github/workflows/ppa-dev.yml index 7bc68f04..ea2e2b78 100644 --- a/.github/workflows/ppa-dev.yml +++ b/.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 }}