clingo-funasp 6.0.0.post10__tar.gz

clingo_funasp-6.0.0.post10/.clang-format

@@ -0,0 +1,5 @@
+---
+IndentWidth: 4
+ColumnLimit: 120
+IndentCaseLabels: true
+AllowShortFunctionsOnASingleLine: InlineOnly

clingo_funasp-6.0.0.post10/.clang-tidy

@@ -0,0 +1,28 @@
+---
+Checks: >
+  bugprone-*,
+  clang-analyzer-*,
+  clang-diagnostic-*,
+  cppcoreguidelines-*,
+  modernize-*,
+  performance-*,
+  readability-*,
+  -bugprone-chained-comparison,
+  -bugprone-easily-swappable-parameters,
+  -cppcoreguidelines-avoid-c-arrays,
+  -cppcoreguidelines-avoid-do-while,
+  -cppcoreguidelines-avoid-magic-numbers,
+  -cppcoreguidelines-pro-type-vararg,
+  -cppcoreguidelines-special-member-functions,
+  -modernize-use-designated-initializers,
+  -readability-ambiguous-smartptr-reset-call,
+  -readability-function-cognitive-complexity,
+  -readability-function-size,
+  -readability-identifier-length,
+  -readability-suspicious-call-argument,
+WarningsAsErrors: ""
+HeaderFilterRegex: ""
+FormatStyle: none
+CheckOptions:
+  - key: modernize-use-trailing-return-type.TransformLambdas
+    value: none

clingo_funasp-6.0.0.post10/.clangd

@@ -0,0 +1,3 @@
+Index:
+  Background: Build
+  StandardLibrary: yes

clingo_funasp-6.0.0.post10/.cmakelintrc

@@ -0,0 +1 @@
+filter=-linelength

clingo_funasp-6.0.0.post10/.envrc

@@ -0,0 +1,24 @@
+ACTIVATE=( /mnt/scratch/kaminski/conda/bin/activate /home/kaminski/.local/opt/conda/bin/activate )
+
+for activate in "${ACTIVATE[@]}"; do
+    if [[ -e "${activate}" ]] && "${activate%activate}conda" env list | grep -qw '^clang\>'; then
+        source "${activate}" clang
+    fi
+done
+
+if [[ -z "${NVM_DIR}" && -f "${HOME}/.nvm/nvm.sh" ]]; then
+    echo "dir set"
+    NVM_DIR="${HOME}/.nvm"
+    export NVM_DIR
+fi
+
+if [[ -n "${NVM_DIR}" ]]; then
+    source ${NVM_DIR}/nvm.sh
+    nvm use --lts > /dev/null
+fi
+
+if [[ -f ".venv/bin/activate" ]]; then
+    source ".venv/bin/activate"
+fi
+
+unset PS1

clingo_funasp-6.0.0.post10/.github/adjust_version.py

@@ -0,0 +1,53 @@
+"""
+Script to adjust version in pyproject.toml based on core.h version.
+"""
+
+import argparse
+import re
+
+import toml
+
+
+def adjust_version(build_number, git_hash):
+    """
+    Adjust version in pyproject.toml.
+    """
+
+    version = None
+    with open("lib/c-api/include/clingo/core.h", encoding="utf-8") as fh:
+        for line in fh:
+            m = re.match(r'#define CLINGO_VERSION "([0-9]+\.[0-9]+\.[0-9]+)"', line)
+            if m is not None:
+                version = m.group(1)
+    assert version is not None
+
+    if build_number > 0:
+        version = f"{version}.post{build_number}"
+
+    with open("pyproject.toml", "r", encoding="utf-8") as hnd:
+        pyproject = toml.load(hnd)
+
+    pyproject["project"]["version"] = f"{version}"
+    pyproject["project"]["urls"]["Source"] = (
+        f"https://github.com/potassco/clingo/tree/{git_hash}"
+    )
+    with open("pyproject.toml", "w", encoding="utf-8") as hnd:
+        toml.dump(pyproject, hnd)
+
+    print(f"Set version to {pyproject['project']['version']}")
+
+
+def run():
+    """
+    Parse arguments and run version adjustment.
+    """
+    parser = argparse.ArgumentParser(description="Build source package.")
+    parser.add_argument("--build-number", type=int, default=0, help="Build number.")
+    parser.add_argument("--git-hash", type=str, required=True, help="Git hash.")
+    args = parser.parse_args()
+
+    adjust_version(args.build_number, args.git_hash)
+
+
+if __name__ == "__main__":
+    run()

clingo_funasp-6.0.0.post10/.github/conda/bld.bat

@@ -0,0 +1,12 @@
+cmake -S . -B build -G "Visual Studio 17 2022" ^
+    -DCMAKE_INSTALL_PREFIX="%LIBRARY_PREFIX%" ^
+    -DCMAKE_INSTALL_LIBDIR="lib" ^
+    -DPython_ROOT_DIR="%PREFIX%" ^
+    -DPython_EXECUTABLE="%PYTHON%" ^
+    -DCLINGO_MANAGE_RPATH=OFF ^
+    -DCLINGO_BUILD_TESTS=ON ^
+    -DPYCLINGO_INSTALL_DIR="%SP_DIR%"
+
+cmake --build build --config Release
+ctest --test-dir build -C Release
+cmake --build build --target install --config Release

clingo_funasp-6.0.0.post10/.github/conda/build.sh

@@ -0,0 +1,23 @@
+#!/bin/bash
+
+set -ex
+
+if [ -z "${PYTHON}" ]; then
+    PYTHON="$(which python)"
+fi
+
+cmake -S . -B build -G Ninja \
+    -DCMAKE_CXX_COMPILER="${CXX}" \
+    -DCMAKE_C_COMPILER="${CC}" \
+    -DCMAKE_INSTALL_PREFIX="${PREFIX}" \
+    -DCMAKE_INSTALL_LIBDIR="lib" \
+    -DCMAKE_BUILD_TYPE=Release \
+    -DPython_ROOT_DIR="${PREFIX}" \
+    -DPython_EXECUTABLE="${PYTHON}" \
+    -DCLINGO_MANAGE_RPATH=OFF \
+    -DCLINGO_BUILD_TESTS=ON \
+    -DPYCLINGO_INSTALL_DIR="${SP_DIR}"
+
+cmake --build build
+ctest --test-dir build
+cmake --build build --target install

clingo_funasp-6.0.0.post10/.github/conda/conda_build_config.yaml

@@ -0,0 +1,6 @@
+CONDA_BUILD_SYSROOT:
+  - /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk # [osx]
+MACOSX_DEPLOYMENT_TARGET:
+  - "14" # [osx]
+cxx_compiler_version:
+  - 18 # [osx]

clingo_funasp-6.0.0.post10/.github/conda/meta.yaml

@@ -0,0 +1,40 @@
+{% set version = environ.get('VERSION_NUMBER', '6.0.0') %}
+{% set build = environ.get('BUILD_NUMBER', "0") %}
+
+package:
+  name: clingo
+  version: {{ version }}
+
+source:
+  path: ../..
+
+requirements:
+  build:
+  - cmake
+  - ninja
+  - re2c  # [not win]
+  - {{ compiler('c') }}
+  - {{ compiler('cxx') }}
+  host:
+  - pytest
+  - python
+  run:
+  - python
+
+build:
+  number: {{ build }}
+
+test:
+  commands:
+  - clingo --version
+  - clasp --version
+  - lpconvert --version
+
+about:
+  home: https://potassco.org/
+  license: MIT
+  summary: A grounder and solver for logic programs.
+  description: Clingo is an answer set programming (ASP) system that takes a logic program as input and calculates its answer sets.
+  license_file: LICENSE.md
+  doc_url: https://potassco.org/
+  dev_url: https://github.com/potassco/clingo

clingo_funasp-6.0.0.post10/.github/ppa/.gitignore

@@ -0,0 +1,9 @@
+*.ddeb
+*.deb
+clingo_*.dsc
+clingo_*.tar.xz
+clingo_*.build
+clingo_*.buildinfo
+clingo_*.changes
+clingo_*.deb
+clingo_*.changes

clingo_funasp-6.0.0.post10/.github/ppa/build.sh

@@ -0,0 +1,194 @@
+#!/bin/bash
+
+function usage {
+    echo "./$(basename "$0") --type={ppa,cloudsmith} --build-number <n> {wip-20} {noble,trixie} {create,sync,changes,build,put,clean}*"
+}
+
+if [[ $# -lt 1 ]]; then
+    usage
+    exit 1
+fi
+
+BUILD_NUMBER=""
+BUILD_TYPE="ppa"
+
+if ! ARGS=$(getopt -o '' --long build-number:,type: -- "$@"); then
+    usage
+    exit 1
+fi
+
+eval set -- "$ARGS"
+while true; do
+    case "$1" in
+    --build-number)
+        BUILD_NUMBER="$2"
+        shift 2
+        ;;
+    --type)
+        BUILD_TYPE="$2"
+        shift 2
+        ;;
+    --)
+        shift
+        break
+        ;;
+    *)
+        usage
+        exit 1
+        ;;
+    esac
+done
+
+set -ex
+
+ref="${1}"
+shift
+
+case "${BUILD_TYPE}" in
+ppa) ;;
+cloudsmith) ;;
+*)
+    usage
+    exit 1
+    ;;
+esac
+
+case "${ref}" in
+wip-20) ;;
+*)
+    usage
+    exit 1
+    ;;
+esac
+
+rep="${1}"
+shift
+
+DISTRIBUTION=ubuntu
+PBUILDER_ARGS=()
+case "${rep}" in
+noble) ;;
+trixie)
+    PBUILDER_ARGS+=(--mirror http://deb.debian.org/debian)
+    DISTRIBUTION=debian
+    ;;
+*)
+    usage
+    exit 1
+    ;;
+esac
+
+for act in "${@}"; do
+    echo "${act}"
+    case "${act}" in
+    _ppa)
+        if [[ "${DISTRIBUTION}" == ubuntu ]]; then
+            apt-get install -y software-properties-common
+            add-apt-repository -y "ppa:potassco/${ref}"
+        else
+            # could for example setup cloudforge repository here
+            :
+        fi
+        apt-get update
+        apt-get install -y tree debhelper
+        ;;
+    create)
+        sudo apt-get update
+        sudo apt-get install pbuilder pbuilder-scripts debootstrap devscripts dh-make dput dh-python
+        if [[ "${DISTRIBUTION}" == debian ]]; then
+            sudo apt-get install debian-archive-keyring
+        fi
+        sudo pbuilder create --basetgz "/var/cache/pbuilder/${ref}-${rep}.tgz" --distribution "${rep}" "${PBUILDER_ARGS[@]}" --debootstrapopts --variant=buildd
+        sudo pbuilder execute --basetgz "/var/cache/pbuilder/${ref}-${rep}.tgz" --save-after-exec -- build.sh "${ref}" "${rep}" _ppa
+        ;;
+    sync)
+        rsync -aq \
+            --exclude __pycache__ \
+            --exclude .mypy_cache \
+            --exclude '*,cover' \
+            --exclude '*.egg-info' \
+            --exclude dist \
+            --exclude build \
+            ../../app \
+            ../../cmake \
+            ../../CMakeLists.txt \
+            ../../DEVELOP.md \
+            ../../lib \
+            ../../LICENSE.md \
+            ../../README.md \
+            ../../third_party \
+            "$rep/"
+        sed -i "s/export CLINGO_BUILD_REVISION =.*/export CLINGO_BUILD_REVISION = $(git rev-parse --short HEAD)/" "${rep}/debian/rules"
+        ;;
+    changes)
+        VERSION="$(sed -n '/#define CLINGO_VERSION "/s/.*"\([0-9]\+\.[0-9\+]\.[0-9]\+\)".*/\1/p' ../../lib/c-api/include/clingo/core.h)"
+        if [[ -z "${BUILD_NUMBER}" ]]; then
+            echo "No build number given"
+            exit 1
+        fi
+        if [[ "$DISTRIBUTION" == "ubuntu" ]]; then
+            SUFFIX="-${rep}${BUILD_NUMBER}"
+        else
+            SUFFIX=".${BUILD_NUMBER}"
+        fi
+        cat >"${rep}/debian/changelog" <<EOF
+clingo (${VERSION}${SUFFIX}) ${rep}; urgency=medium
+
+  * build for git revision $(git rev-parse HEAD)
+
+ -- Roland Kaminski <kaminski@cs.uni-potsdam.de>  $(date -R)
+EOF
+        ;;
+    build)
+        if [[ "${BUILD_TYPE}" == "ppa" ]]; then
+            VERSION="$(head -n 1 "${rep}/debian/changelog" | grep -o '[0-9]\+\.[0-9]\+\.[0-9]\+\(-[a-z0-9]\+\)\?')"
+            (
+                cd "${rep}"
+                pdebuild --buildresult .. --auto-debsign --debsign-k 744d959e10f5ad73f9cf17cc1d150536980033d5 -- --basetgz "/var/cache/pbuilder/${ref}-${rep}.tgz" --source-only-changes
+                sed -i '/\.buildinfo$/d' "../clingo_${VERSION}_source.changes"
+                debsign --re-sign -k744d959e10f5ad73f9cf17cc1d150536980033d5 "../clingo_${VERSION}_source.changes"
+            )
+        else
+            (
+                cd "${rep}"
+                pdebuild --buildresult .. -- --basetgz "/var/cache/pbuilder/${ref}-${rep}.tgz" --source-only-changes
+            )
+        fi
+        ;;
+    put)
+        VERSION="$(head -n 1 "${rep}/debian/changelog" | grep -o '[0-9]\+\.[0-9]\+\.[0-9]\+\(-[a-z0-9]\+\)\?')"
+        dput "ppa:potassco/${ref}" "clingo_${VERSION}_source.changes"
+        ;;
+    clean)
+        rm -rf \
+            "${rep}"/app \
+            "${rep}"/cmake \
+            "${rep}"/clasp \
+            "${rep}"/lib* \
+            "${rep}"/third_party \
+            "${rep}"/CMakeLists.txt \
+            "${rep}"/debian/files \
+            "${rep}"/debian/.debhelper \
+            "${rep}"/debian/clingo.debhelper.log \
+            "${rep}"/debian/clingo.substvars \
+            "${rep}"/debian/clingo \
+            "${rep}"/debian/debhelper-build-stamp \
+            "${rep}"/debian/tmp \
+            "${rep}"/obj-x86_64-linux-gnu \
+            ./*.md \
+            ./*.build \
+            ./*.deb \
+            ./*.dsc \
+            ./*.buildinfo \
+            ./*.changes \
+            ./*.ddeb \
+            ./*.tar.xz \
+            ./*.upload
+        git checkout "${rep}/debian/changelog" "${rep}/debian/rules"
+        ;;
+    *)
+        usage
+        exit 1
+        ;;
+    esac
+done

clingo_funasp-6.0.0.post10/.github/ppa/noble/.gitignore

@@ -0,0 +1,8 @@
+CMakeLists.txt
+DEVELOP.md
+LICENSE.md
+README.md
+app/
+cmake/
+lib/
+third_party/

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/changelog

@@ -0,0 +1,5 @@
+clingo (6.0.0-noble3) noble; urgency=medium
+
+  * initial version
+
+ -- Roland Kaminski <kaminski@cs.uni-potsdam.de>  Tue, 23 Sep 2025 15:00:00 +0200

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/clingo.install

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

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/control

@@ -0,0 +1,43 @@
+Source: clingo
+Section: devel
+Priority: optional
+Maintainer: Roland Kaminski <kaminski@cs.uni-potsdam.de>
+Build-Depends: debhelper-compat (= 13), dh-python, cmake, python3-dev, 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}, 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.

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/copyright

@@ -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: 2025 Roland Kaminski <kaminski@cs.uni-potsdam.de>
+License: MIT
+
+Files: debian/*
+Copyright: 2024 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.

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/docs

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

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/libclingo-dev.install

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

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/libclingo.install

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

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/python3-clingo.install

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

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/rules

@@ -0,0 +1,14 @@
+#!/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_TESTS=Off \
+	  -DCLINGO_MANAGE_RPATH=Off \
+	  -DCLINGO_BUILD_EXAMPLES=Off

clingo_funasp-6.0.0.post10/.github/ppa/noble/debian/source/format

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

clingo_funasp-6.0.0.post10/.github/ppa/trixie/.gitignore

@@ -0,0 +1,8 @@
+CMakeLists.txt
+DEVELOP.md
+LICENSE.md
+README.md
+app/
+cmake/
+lib/
+third_party/

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/changelog

@@ -0,0 +1,5 @@
+clingo (6.0.0.3) trixie; urgency=medium
+
+  * initial version
+
+ -- Roland Kaminski <kaminski@cs.uni-potsdam.de>  Tue, 23 Sep 2025 15:00:00 +0200

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/clingo.install

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

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/control

@@ -0,0 +1,43 @@
+Source: clingo
+Section: devel
+Priority: optional
+Maintainer: Roland Kaminski <kaminski@cs.uni-potsdam.de>
+Build-Depends: debhelper-compat (= 13), dh-python, cmake, python3-dev, 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}, 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.

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/copyright

@@ -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: 2025 Roland Kaminski <kaminski@cs.uni-potsdam.de>
+License: MIT
+
+Files: debian/*
+Copyright: 2024 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.

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/docs

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

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/libclingo-dev.install

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

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/libclingo.install

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

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/python3-clingo.install

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

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/rules

@@ -0,0 +1,14 @@
+#!/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_TESTS=Off \
+	  -DCLINGO_MANAGE_RPATH=Off \
+	  -DCLINGO_BUILD_EXAMPLES=Off

clingo_funasp-6.0.0.post10/.github/ppa/trixie/debian/source/format

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