passagemath-gap-pkg-cddinterface 10.6.23__cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl

gap/pkg/cddinterface/PackageInfo.g

@@ -0,0 +1,103 @@
+#
+# CddInterface: Gap interface to Cdd package
+#
+# This file contains package meta data. For additional information on
+# the meaning and correct usage of these fields, please consult the
+# manual of the "Example" package as well as the comments in its
+# PackageInfo.g file.
+#
+SetPackageInfo( rec(
+
+PackageName := "CddInterface",
+Subtitle := "Gap interface to Cdd package",
+Version := "2024.09.02",
+Date := ~.Version{[ 1 .. 10 ]},
+Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
+License := "GPL-2.0-or-later",
+
+Persons := [
+  rec(
+    IsAuthor := true,
+    IsMaintainer := true,
+    FirstNames := "Kamal",
+    LastName := "Saleh",
+    WWWHome := "https://github.com/kamalsaleh",
+    Email := "kamal.saleh@uni-siegen.de",
+    PostalAddress := Concatenation(
+                       "Department Mathematik\n",
+                       "Universität Siegen\n",
+                       "Walter-Flex-Straße 3\n",
+                       "57072 Siegen\n",
+                       "Germany" ),
+    Place := "Siegen",
+    Institution := "Universität Siegen",
+  ),
+],
+
+SourceRepository := rec(
+    Type := "git",
+    URL := Concatenation( "https://github.com/homalg-project/", ~.PackageName )
+),
+
+PackageWWWHome := Concatenation( "https://homalg-project.github.io/", ~.PackageName ),
+README_URL     := Concatenation( ~.PackageWWWHome, "/README.md" ),
+PackageInfoURL := Concatenation( ~.PackageWWWHome, "/PackageInfo.g" ),
+IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
+ArchiveURL      := Concatenation( ~.SourceRepository.URL,
+                                 "/releases/download/v", ~.Version,
+                                 "/", ~.PackageName, "-", ~.Version ),
+ArchiveFormats  := ".tar.gz",
+
+##  Status information. Currently the following cases are recognized:
+##    "accepted"      for successfully refereed packages
+##    "submitted"     for packages submitted for the refereeing
+##    "deposited"     for packages for which the GAP developers agreed
+##                    to distribute them with the core GAP system
+##    "dev"           for development versions of packages
+##    "other"         for all other packages
+##
+Status := "deposited",
+
+AbstractHTML   :=
+  "The <span class='pkgname'>CddInterface</span> package provides\
+ a GAP interface to <a href='https://inf.ethz.ch/personal/fukudak/cdd_home'>cdd</a>,\
+ enabling direct access to the most of the functionality of cddlib, such as\
+ translating between H,V- representations of a polyhedron and solving linear programming problems.",
+
+PackageDoc := rec(
+  BookName  := "CddInterface",
+  ArchiveURLSubset := ["doc"],
+  HTMLStart := "doc/chap0.html",
+  PDFFile   := "doc/manual.pdf",
+  SixFile   := "doc/manual.six",
+  LongTitle := "Gap interface to Cdd package",
+),
+
+Dependencies := rec(
+  GAP := ">= 4.12",
+  NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ] ],
+  SuggestedOtherPackages := [ ],
+  ExternalConditions := [ ],
+),
+
+AvailabilityTest :=
+  function()
+    if not IsKernelExtensionAvailable("CddInterface") then
+      LogPackageLoadingMessage(PACKAGE_WARNING, [
+        "The library `libcdd' is not yet installed on the system,",
+        " or it is not correctly compiled!,",
+        "Please, see the installation instructions in README.md."
+      ]);
+      return fail;
+    fi;
+
+    return true;
+end,
+
+TestFile := "tst/testall.g",
+
+Keywords := [ "cddlib", "Polyhedra", "Convex Geometry", "NConvex" ],
+
+));
+
+

gap/pkg/cddinterface/README.md

@@ -0,0 +1,140 @@
+[![Build Status](https://github.com/homalg-project/CddInterface/actions/workflows/CI.yml/badge.svg?branch=master)](https://github.com/homalg-project/CddInterface/actions?query=workflow%3ACI+branch%3Amaster)
+[![Code Coverage](https://codecov.io/github/homalg-project/CddInterface/coverage.svg?branch=master&token=)](https://codecov.io/gh/homalg-project/CddInterface)
+
+# The GAP 4 package `CddInterface'
+
+## Why CddInterface
+
+Every convex polyhedron P has two representations, one as the intersection of finite halfspaces and the other as Minkowski sum of the convex hull of
+finite points and the nonnegative hull of finite directions. These are called H-representation and V-representation, respectively.
+
+[CddInterface](https://homalg-project.github.io/CddInterface/) is a gap interface with the C package [Cddlib
+](https://www.inf.ethz.ch/personal/fukudak/cdd_home/) which among other things can translate between H,V- representations of a polyhedron P and solve linear programming problems over P, i.e. a problem of maximizing and minimizing a linear function over P. A list of all available operations can be found in the [manual.pdf](https://homalg-project.github.io/CddInterface/manual.pdf).
+
+## Prerequisites
+
+To use CddInterace, it has to be compiled. That means you need at the very
+least a C compiler on your system. If you managed to install GAP, you probably
+already have one, so we won't cover this here. However, various other
+prerequisites are needed, described below.
+
+### ... when building from a `git` clone
+
+If you are building CddInterface directly from `git`, you first need
+to generate the `configure` script. This require autoconf. On
+Debian and Ubuntu, you can install it via
+    
+    sudo apt-get install autoconf
+
+On macOS, if you are using Homebrew, you can install it via
+
+    brew install autoconf
+
+Then run
+
+    ./autogen.sh
+
+Now proceed as in the next section
+
+### ... when building a release version
+
+Compiling CddInterface requires development headers for the GMP library as well
+as for cddlib. On Debian or Ubuntu, you can install these via
+
+    sudo apt-get install libgmp-dev libcdd-dev
+
+On macOS, if you are using Homebrew, you can install them via
+
+    brew install gmp cddlib
+
+Most other package managers include comparable packages, at least for GMP.
+For cddlib, if your package manager does not provide it, we describe
+further down how to install it yourself.
+
+
+## Installation
+
+Assuming the prerequisites are present (see the previous section),
+you can now build cddlib as follows:
+
+    ./configure --with-gaproot=path/to/gaproot
+    make
+
+where the `path/to/gaproot` is the path to the folder where you installed and
+compiled GAP and which contains the file `sysinfo.gap`. The default value is
+`../..`.
+
+## Simple installation (includes building the current cdd from source):
+
+For a simplified installation, try the following command in the main CddInterface directory
+
+    ./install.sh path/to/gaproot
+
+If that does not work, try the following:
+
+## Advanced installation (includes building the current cdd from source):
+
+Go inside the CddInterface directory and download some release of
+[cddlib](https://github.com/cddlib/cddlib/releases) and extract it. For
+example the release 0.94m:
+    
+    wget https://github.com/cddlib/cddlib/releases/download/0.94m/cddlib-0.94m.tar.gz
+    tar xvf cddlib-0.94m.tar.gz
+    ln -sf $(pwd)/cddlib-0.94m $(pwd)/current_cddlib
+
+After that, compile cddlib via
+    
+    cd current_cddlib
+    mkdir build
+    ./bootstrap
+    ./configure --prefix=$(pwd)/build
+    make
+    make install
+
+Cdd should now be installed in the `build` directory. After that, go back to the CddInterface main folder
+and install CddInterface with the following commands
+
+    ./autogen.sh
+    ./configure --with-gaproot=path/to/gaproot --with-cddlib=$(pwd)/current_cddlib/build
+    make
+
+After that, you should be able to load CddInterface.
+
+## Documentation
+To create the documentation:
+    
+    gap makedoc.g
+
+To run the test files
+
+    gap tst/testall.g
+    
+## Update
+The package can be updated using the following commands
+
+    git pull
+    make
+
+## Using the package via Docker
+With docker app you can run an image of the newest version of gap && CddInterface via
+the command
+
+    docker run -it kamalsaleh/gap_packages
+
+## Using the package via Binder
+If you want to experiment online with the package you can use `notebook.ipynb` vie the binder link below.
+
+[![Binder](https://mybinder.org/badge.svg)](https://mybinder.org/v2/gh/homalg-project/CddInterface/master)
+
+
+
+Of course you are welcome to e-mail me if there are any questions, remarks, suggestions ;)
+
+Kamal Saleh e-mail: <saleh@mathematik.uni-siegen.de>
+
+## License
+
+CddInterface is free software; you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free Software
+Foundation; either version 2 of the License, or (at your option) any later
+version.

gap/pkg/cddinterface/ToDo.txt

@@ -0,0 +1,2 @@
+1- Update the package to get the last version of Cddlib https://github.com/cddlib/cddlib
+2- Support inputs with real entries?

gap/pkg/cddinterface/autogen.sh

@@ -0,0 +1,5 @@
+#!/bin/sh
+#
+# Regenerate configure from configure.ac. Requires GNU autoconf.
+set -ex
+autoreconf -Wall -f

gap/pkg/cddinterface/config.log

@@ -0,0 +1,317 @@
+This file contains any messages produced by compilers while
+running configure, to aid debugging if configure makes a mistake.
+
+It was created by CddInterface configure package, which was
+generated by GNU Autoconf 2.71.  Invocation command line was
+
+  $ ./configure --with-gaproot=/host/sage-manylinux_2_28_aarch64/lib/gap/ --with-cddlib=/host/sage-manylinux_2_28_aarch64
+
+## --------- ##
+## Platform. ##
+## --------- ##
+
+hostname = e648d63e0f7d
+uname -m = aarch64
+uname -r = 6.11.0-1015-azure
+uname -s = Linux
+uname -v = #15~24.04.1-Ubuntu SMP Thu May  1 03:01:44 UTC 2025
+
+/usr/bin/uname -p = aarch64
+/bin/uname -X     = unknown
+
+/bin/arch              = aarch64
+/usr/bin/arch -k       = unknown
+/usr/convex/getsysinfo = unknown
+/usr/bin/hostinfo      = unknown
+/bin/machine           = unknown
+/usr/bin/oslevel       = unknown
+/bin/universe          = unknown
+
+PATH: /host/sage-manylinux_2_28_aarch64/libexec/ccache/
+PATH: /project/build/bin/
+PATH: /project/tools/
+PATH: /host/sage-manylinux_2_28_aarch64/var/lib/sage/venv-python3.9/bin/
+PATH: /host/sage-manylinux_2_28_aarch64/bin/
+PATH: /host/sage-manylinux_2_28_aarch64/libexec/ccache/
+PATH: /project/build/bin/
+PATH: /project/tools/
+PATH: /host/sage-manylinux_2_28_aarch64/bin/
+PATH: /project/src/bin/
+PATH: /host/sage-manylinux_2_28_aarch64/bin/
+PATH: /project/build/bin/
+PATH: /project/src/bin/
+PATH: /host/sage-manylinux_2_28_aarch64/bin/
+PATH: /project/prefix/bin/
+PATH: /opt/python/cp39-cp39/bin/
+PATH: /opt/rh/gcc-toolset-14/root/usr/bin/
+PATH: /usr/local/sbin/
+PATH: /usr/local/bin/
+PATH: /usr/sbin/
+PATH: /usr/bin/
+PATH: /sbin/
+PATH: /bin/
+
+
+## ----------- ##
+## Core tests. ##
+## ----------- ##
+
+configure:2301: checking for gcc
+configure:2333: result: gcc
+configure:2686: checking for C compiler version
+configure:2695: gcc --version >&5
+gcc (GCC) 14.2.1 20250110 (Red Hat 14.2.1-7)
+Copyright (C) 2024 Free Software Foundation, Inc.
+This is free software; see the source for copying conditions.  There is NO
+warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+
+configure:2706: $? = 0
+configure:2695: gcc -v >&5
+Using built-in specs.
+COLLECT_GCC=/opt/rh/gcc-toolset-14/root/usr/bin/gcc
+COLLECT_LTO_WRAPPER=/opt/rh/gcc-toolset-14/root/usr/libexec/gcc/aarch64-redhat-linux/14/lto-wrapper
+Target: aarch64-redhat-linux
+Configured with: ../configure --enable-bootstrap --enable-languages=c,c++,fortran,lto --prefix=/opt/rh/gcc-toolset-14/root/usr --mandir=/opt/rh/gcc-toolset-14/root/usr/share/man --infodir=/opt/rh/gcc-toolset-14/root/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-shared --enable-threads=posix --enable-checking=release --enable-multilib --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-gnu-unique-object --enable-linker-build-id --with-gcc-major-version-only --enable-libstdcxx-backtrace --with-libstdcxx-zoneinfo=/usr/share/zoneinfo --with-linker-hash-style=gnu --enable-plugin --enable-initfini-array --with-isl=/builddir/build/BUILD/gcc-14.2.1-20250110/obj-aarch64-redhat-linux/isl-install --enable-gnu-indirect-function --build=aarch64-redhat-linux
+Thread model: posix
+Supported LTO compression algorithms: zlib zstd
+gcc version 14.2.1 20250110 (Red Hat 14.2.1-7) (GCC) 
+configure:2706: $? = 0
+configure:2695: gcc -V >&5
+gcc: error: unrecognized command-line option '-V'
+gcc: fatal error: no input files
+compilation terminated.
+configure:2706: $? = 1
+configure:2695: gcc -qversion >&5
+gcc: error: unrecognized command-line option '-qversion'; did you mean '--version'?
+gcc: fatal error: no input files
+compilation terminated.
+configure:2706: $? = 1
+configure:2695: gcc -version >&5
+gcc: error: unrecognized command-line option '-version'
+gcc: fatal error: no input files
+compilation terminated.
+configure:2706: $? = 1
+configure:2726: checking whether the C compiler works
+configure:2748: gcc -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib  conftest.c  >&5
+configure:2752: $? = 0
+configure:2802: result: yes
+configure:2805: checking for C compiler default output file name
+configure:2807: result: a.out
+configure:2813: checking for suffix of executables
+configure:2820: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib  conftest.c  >&5
+configure:2824: $? = 0
+configure:2847: result: 
+configure:2869: checking whether we are cross compiling
+configure:2877: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib  conftest.c  >&5
+configure:2881: $? = 0
+configure:2888: ./conftest
+configure:2892: $? = 0
+configure:2907: result: no
+configure:2912: checking for suffix of object files
+configure:2935: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  conftest.c >&5
+configure:2939: $? = 0
+configure:2961: result: o
+configure:2965: checking whether the compiler supports GNU C
+configure:2985: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  conftest.c >&5
+configure:2985: $? = 0
+configure:2995: result: yes
+configure:3006: checking whether gcc accepts -g
+configure:3027: gcc -c -g  conftest.c >&5
+configure:3027: $? = 0
+configure:3071: result: yes
+configure:3091: checking for gcc option to enable C11 features
+configure:3106: gcc  -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  conftest.c >&5
+configure:3106: $? = 0
+configure:3124: result: none needed
+configure:3257: checking for GAP root directory
+configure:3274: result: /host/sage-manylinux_2_28_aarch64/lib/gap
+configure:3298: checking for GAP architecture
+configure:3305: result: aarch64-unknown-linux-gnu-default64-kv9
+configure:3418: checking for stdio.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3418: checking for stdlib.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3418: checking for string.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3418: checking for inttypes.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3418: checking for stdint.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3418: checking for strings.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3418: checking for sys/stat.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3418: checking for sys/types.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3418: checking for unistd.h
+configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3418: $? = 0
+configure:3418: result: yes
+configure:3443: checking for cddlib/setoper.h
+configure:3443: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include conftest.c >&5
+configure:3443: $? = 0
+configure:3443: result: yes
+configure:3463: checking for dd_SetLinearity in -lcddgmp
+configure:3486: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration  -I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib  -L/host/sage-manylinux_2_28_aarch64/lib -lcddgmp -lgmp conftest.c -lcddgmp   >&5
+configure:3486: $? = 0
+configure:3496: result: yes
+configure:3626: creating ./config.status
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by CddInterface config.status package, which was
+generated by GNU Autoconf 2.71.  Invocation command line was
+
+  CONFIG_FILES    = 
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on e648d63e0f7d
+
+config.status:799: creating Makefile
+config.status:799: creating src/config.h
+
+## ---------------- ##
+## Cache variables. ##
+## ---------------- ##
+
+ac_cv_c_compiler_gnu=yes
+ac_cv_env_CC_set=set
+ac_cv_env_CC_value=gcc
+ac_cv_env_CFLAGS_set=set
+ac_cv_env_CFLAGS_value='-g -O2 -std=gnu17 -Wno-implicit-function-declaration'
+ac_cv_env_CPPFLAGS_set=
+ac_cv_env_CPPFLAGS_value=
+ac_cv_env_LDFLAGS_set=set
+ac_cv_env_LDFLAGS_value='-Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib '
+ac_cv_env_LIBS_set=
+ac_cv_env_LIBS_value=
+ac_cv_env_build_alias_set=
+ac_cv_env_build_alias_value=
+ac_cv_env_host_alias_set=
+ac_cv_env_host_alias_value=
+ac_cv_env_target_alias_set=
+ac_cv_env_target_alias_value=
+ac_cv_header_cddlib_setoper_h=yes
+ac_cv_header_inttypes_h=yes
+ac_cv_header_stdint_h=yes
+ac_cv_header_stdio_h=yes
+ac_cv_header_stdlib_h=yes
+ac_cv_header_string_h=yes
+ac_cv_header_strings_h=yes
+ac_cv_header_sys_stat_h=yes
+ac_cv_header_sys_types_h=yes
+ac_cv_header_unistd_h=yes
+ac_cv_lib_cddgmp_dd_SetLinearity=yes
+ac_cv_objext=o
+ac_cv_prog_ac_ct_CC=gcc
+ac_cv_prog_cc_c11=
+ac_cv_prog_cc_g=yes
+ac_cv_prog_cc_stdc=
+
+## ----------------- ##
+## Output variables. ##
+## ----------------- ##
+
+CC='gcc'
+CDD_CPPFLAGS='-I/host/sage-manylinux_2_28_aarch64/include/cdd -I/host/sage-manylinux_2_28_aarch64/include/cddlib -I/host/sage-manylinux_2_28_aarch64/include'
+CDD_LDFLAGS='-L/host/sage-manylinux_2_28_aarch64/lib -lcddgmp -lgmp'
+CFLAGS='-g -O2 -std=gnu17 -Wno-implicit-function-declaration'
+CPPFLAGS=''
+DEFS='-DHAVE_CONFIG_H'
+ECHO_C=''
+ECHO_N='-n'
+ECHO_T=''
+EXEEXT=''
+GAPARCH='aarch64-unknown-linux-gnu-default64-kv9'
+GAPROOT='/host/sage-manylinux_2_28_aarch64/lib/gap'
+GAP_CFLAGS=' -pthread -g -O2'
+GAP_CPPFLAGS='-I/host/sage-manylinux_2_28_aarch64/include/gap -I/host/sage-manylinux_2_28_aarch64/include -DUSE_GASMAN=1 -I/src'
+GAP_LDFLAGS=''
+GAP_LIBS=''
+LDFLAGS='-Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath-link,/host/sage-manylinux_2_28_aarch64/lib -L/host/sage-manylinux_2_28_aarch64/lib -Wl,-rpath,/host/sage-manylinux_2_28_aarch64/lib '
+LIBOBJS=''
+LIBS='-lcddgmp '
+LTLIBOBJS=''
+OBJEXT='o'
+PACKAGE_BUGREPORT=''
+PACKAGE_NAME='CddInterface'
+PACKAGE_STRING='CddInterface package'
+PACKAGE_TARNAME='cddinterface'
+PACKAGE_URL=''
+PACKAGE_VERSION='package'
+PATH_SEPARATOR=':'
+SHELL='/bin/sh'
+ac_ct_CC='gcc'
+bindir='${exec_prefix}/bin'
+build_alias=''
+datadir='${datarootdir}'
+datarootdir='${prefix}/share'
+docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
+dvidir='${docdir}'
+exec_prefix='${prefix}'
+host_alias=''
+htmldir='${docdir}'
+includedir='${prefix}/include'
+infodir='${datarootdir}/info'
+libdir='${exec_prefix}/lib'
+libexecdir='${exec_prefix}/libexec'
+localedir='${datarootdir}/locale'
+localstatedir='${prefix}/var'
+mandir='${datarootdir}/man'
+oldincludedir='/usr/include'
+pdfdir='${docdir}'
+prefix='/usr/local'
+program_transform_name='s,x,x,'
+psdir='${docdir}'
+runstatedir='${localstatedir}/run'
+sbindir='${exec_prefix}/sbin'
+sharedstatedir='${prefix}/com'
+sysconfdir='${prefix}/etc'
+target_alias=''
+
+## ----------- ##
+## confdefs.h. ##
+## ----------- ##
+
+/* confdefs.h */
+#define PACKAGE_NAME "CddInterface"
+#define PACKAGE_TARNAME "cddinterface"
+#define PACKAGE_VERSION "package"
+#define PACKAGE_STRING "CddInterface package"
+#define PACKAGE_BUGREPORT ""
+#define PACKAGE_URL ""
+#define HAVE_STDIO_H 1
+#define HAVE_STDLIB_H 1
+#define HAVE_STRING_H 1
+#define HAVE_INTTYPES_H 1
+#define HAVE_STDINT_H 1
+#define HAVE_STRINGS_H 1
+#define HAVE_SYS_STAT_H 1
+#define HAVE_SYS_TYPES_H 1
+#define HAVE_UNISTD_H 1
+#define STDC_HEADERS 1
+#define HAVE_CDDLIB_SETOPER_H 1
+#define HAVE_LIBCDDGMP 1
+
+configure: exit 0