passagemath-gap-pkg-cddinterface 10.6.23__cp313-cp313-musllinux_1_2_x86_64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Potentially problematic release.


This version of passagemath-gap-pkg-cddinterface might be problematic. Click here for more details.

Files changed (60) hide show
  1. gap/pkg/cddinterface/Dockerfile +16 -0
  2. gap/pkg/cddinterface/LICENSE +344 -0
  3. gap/pkg/cddinterface/Makefile +14 -0
  4. gap/pkg/cddinterface/Makefile.gappkg +225 -0
  5. gap/pkg/cddinterface/Makefile.in +14 -0
  6. gap/pkg/cddinterface/PackageInfo.g +103 -0
  7. gap/pkg/cddinterface/README.md +140 -0
  8. gap/pkg/cddinterface/ToDo.txt +2 -0
  9. gap/pkg/cddinterface/autogen.sh +5 -0
  10. gap/pkg/cddinterface/bin/x86_64-pc-linux-musl-default64-kv9/CddInterface.so +0 -0
  11. gap/pkg/cddinterface/config.log +316 -0
  12. gap/pkg/cddinterface/config.status +989 -0
  13. gap/pkg/cddinterface/configure +4779 -0
  14. gap/pkg/cddinterface/configure.ac +84 -0
  15. gap/pkg/cddinterface/etc/download.sh +86 -0
  16. gap/pkg/cddinterface/examples/30x30.g +5 -0
  17. gap/pkg/cddinterface/examples/FourierProjection.g +83 -0
  18. gap/pkg/cddinterface/examples/comparing_polyhedrons.g +32 -0
  19. gap/pkg/cddinterface/examples/demo.g +65 -0
  20. gap/pkg/cddinterface/examples/example1.g +115 -0
  21. gap/pkg/cddinterface/examples/intersection.g +35 -0
  22. gap/pkg/cddinterface/examples/linear_programs.g +64 -0
  23. gap/pkg/cddinterface/examples/minkuwski.g +35 -0
  24. gap/pkg/cddinterface/examples/new.g +5 -0
  25. gap/pkg/cddinterface/examples/new2.g +8 -0
  26. gap/pkg/cddinterface/gap/Julia.gd +3 -0
  27. gap/pkg/cddinterface/gap/Julia.gi +15 -0
  28. gap/pkg/cddinterface/gap/polyhedra.gd +268 -0
  29. gap/pkg/cddinterface/gap/polyhedra.gi +871 -0
  30. gap/pkg/cddinterface/gap/tools.gd +12 -0
  31. gap/pkg/cddinterface/gap/tools.gi +472 -0
  32. gap/pkg/cddinterface/init.g +17 -0
  33. gap/pkg/cddinterface/install.sh +64 -0
  34. gap/pkg/cddinterface/makedoc.g +19 -0
  35. gap/pkg/cddinterface/notebook.ipynb +343 -0
  36. gap/pkg/cddinterface/read.g +12 -0
  37. gap/pkg/cddinterface/tst/01.tst +37 -0
  38. gap/pkg/cddinterface/tst/02.tst +36 -0
  39. gap/pkg/cddinterface/tst/03.tst +50 -0
  40. gap/pkg/cddinterface/tst/04.tst +51 -0
  41. gap/pkg/cddinterface/tst/05.tst +41 -0
  42. gap/pkg/cddinterface/tst/06.tst +44 -0
  43. gap/pkg/cddinterface/tst/07.tst +46 -0
  44. gap/pkg/cddinterface/tst/08.tst +66 -0
  45. gap/pkg/cddinterface/tst/09.tst +28 -0
  46. gap/pkg/cddinterface/tst/10.tst +56 -0
  47. gap/pkg/cddinterface/tst/11.tst +70 -0
  48. gap/pkg/cddinterface/tst/etest_1.tst +6 -0
  49. gap/pkg/cddinterface/tst/etest_2.tst +33 -0
  50. gap/pkg/cddinterface/tst/testall.g +10 -0
  51. passagemath_gap_pkg_cddinterface-10.6.23.dist-info/METADATA +92 -0
  52. passagemath_gap_pkg_cddinterface-10.6.23.dist-info/METADATA.bak +93 -0
  53. passagemath_gap_pkg_cddinterface-10.6.23.dist-info/RECORD +60 -0
  54. passagemath_gap_pkg_cddinterface-10.6.23.dist-info/WHEEL +5 -0
  55. passagemath_gap_pkg_cddinterface-10.6.23.dist-info/top_level.txt +1 -0
  56. passagemath_gap_pkg_cddinterface.libs/libcddgmp-30166d29.so.0.1.3 +0 -0
  57. passagemath_gap_pkg_cddinterface.libs/libgmp-0e7fc84e.so.10.5.0 +0 -0
  58. sage/all__sagemath_gap_pkg_cddinterface.py +1 -0
  59. sage/libs/all__sagemath_gap_pkg_cddinterface.py +1 -0
  60. sage/libs/gap_pkg_cddinterface.cpython-313-x86_64-linux-musl.so +0 -0
@@ -0,0 +1,103 @@
1
+ #
2
+ # CddInterface: Gap interface to Cdd package
3
+ #
4
+ # This file contains package meta data. For additional information on
5
+ # the meaning and correct usage of these fields, please consult the
6
+ # manual of the "Example" package as well as the comments in its
7
+ # PackageInfo.g file.
8
+ #
9
+ SetPackageInfo( rec(
10
+
11
+ PackageName := "CddInterface",
12
+ Subtitle := "Gap interface to Cdd package",
13
+ Version := "2024.09.02",
14
+ Date := ~.Version{[ 1 .. 10 ]},
15
+ Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
16
+ License := "GPL-2.0-or-later",
17
+
18
+ Persons := [
19
+ rec(
20
+ IsAuthor := true,
21
+ IsMaintainer := true,
22
+ FirstNames := "Kamal",
23
+ LastName := "Saleh",
24
+ WWWHome := "https://github.com/kamalsaleh",
25
+ Email := "kamal.saleh@uni-siegen.de",
26
+ PostalAddress := Concatenation(
27
+ "Department Mathematik\n",
28
+ "Universität Siegen\n",
29
+ "Walter-Flex-Straße 3\n",
30
+ "57072 Siegen\n",
31
+ "Germany" ),
32
+ Place := "Siegen",
33
+ Institution := "Universität Siegen",
34
+ ),
35
+ ],
36
+
37
+ SourceRepository := rec(
38
+ Type := "git",
39
+ URL := Concatenation( "https://github.com/homalg-project/", ~.PackageName )
40
+ ),
41
+
42
+ PackageWWWHome := Concatenation( "https://homalg-project.github.io/", ~.PackageName ),
43
+ README_URL := Concatenation( ~.PackageWWWHome, "/README.md" ),
44
+ PackageInfoURL := Concatenation( ~.PackageWWWHome, "/PackageInfo.g" ),
45
+ IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
46
+ ArchiveURL := Concatenation( ~.SourceRepository.URL,
47
+ "/releases/download/v", ~.Version,
48
+ "/", ~.PackageName, "-", ~.Version ),
49
+ ArchiveFormats := ".tar.gz",
50
+
51
+ ## Status information. Currently the following cases are recognized:
52
+ ## "accepted" for successfully refereed packages
53
+ ## "submitted" for packages submitted for the refereeing
54
+ ## "deposited" for packages for which the GAP developers agreed
55
+ ## to distribute them with the core GAP system
56
+ ## "dev" for development versions of packages
57
+ ## "other" for all other packages
58
+ ##
59
+ Status := "deposited",
60
+
61
+ AbstractHTML :=
62
+ "The <span class='pkgname'>CddInterface</span> package provides\
63
+ a GAP interface to <a href='https://inf.ethz.ch/personal/fukudak/cdd_home'>cdd</a>,\
64
+ enabling direct access to the most of the functionality of cddlib, such as\
65
+ translating between H,V- representations of a polyhedron and solving linear programming problems.",
66
+
67
+ PackageDoc := rec(
68
+ BookName := "CddInterface",
69
+ ArchiveURLSubset := ["doc"],
70
+ HTMLStart := "doc/chap0.html",
71
+ PDFFile := "doc/manual.pdf",
72
+ SixFile := "doc/manual.six",
73
+ LongTitle := "Gap interface to Cdd package",
74
+ ),
75
+
76
+ Dependencies := rec(
77
+ GAP := ">= 4.12",
78
+ NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ] ],
79
+ SuggestedOtherPackages := [ ],
80
+ ExternalConditions := [ ],
81
+ ),
82
+
83
+ AvailabilityTest :=
84
+ function()
85
+ if not IsKernelExtensionAvailable("CddInterface") then
86
+ LogPackageLoadingMessage(PACKAGE_WARNING, [
87
+ "The library `libcdd' is not yet installed on the system,",
88
+ " or it is not correctly compiled!,",
89
+ "Please, see the installation instructions in README.md."
90
+ ]);
91
+ return fail;
92
+ fi;
93
+
94
+ return true;
95
+ end,
96
+
97
+ TestFile := "tst/testall.g",
98
+
99
+ Keywords := [ "cddlib", "Polyhedra", "Convex Geometry", "NConvex" ],
100
+
101
+ ));
102
+
103
+
@@ -0,0 +1,140 @@
1
+ [![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)
2
+ [![Code Coverage](https://codecov.io/github/homalg-project/CddInterface/coverage.svg?branch=master&token=)](https://codecov.io/gh/homalg-project/CddInterface)
3
+
4
+ # The GAP 4 package `CddInterface'
5
+
6
+ ## Why CddInterface
7
+
8
+ 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
9
+ finite points and the nonnegative hull of finite directions. These are called H-representation and V-representation, respectively.
10
+
11
+ [CddInterface](https://homalg-project.github.io/CddInterface/) is a gap interface with the C package [Cddlib
12
+ ](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).
13
+
14
+ ## Prerequisites
15
+
16
+ To use CddInterace, it has to be compiled. That means you need at the very
17
+ least a C compiler on your system. If you managed to install GAP, you probably
18
+ already have one, so we won't cover this here. However, various other
19
+ prerequisites are needed, described below.
20
+
21
+ ### ... when building from a `git` clone
22
+
23
+ If you are building CddInterface directly from `git`, you first need
24
+ to generate the `configure` script. This require autoconf. On
25
+ Debian and Ubuntu, you can install it via
26
+
27
+ sudo apt-get install autoconf
28
+
29
+ On macOS, if you are using Homebrew, you can install it via
30
+
31
+ brew install autoconf
32
+
33
+ Then run
34
+
35
+ ./autogen.sh
36
+
37
+ Now proceed as in the next section
38
+
39
+ ### ... when building a release version
40
+
41
+ Compiling CddInterface requires development headers for the GMP library as well
42
+ as for cddlib. On Debian or Ubuntu, you can install these via
43
+
44
+ sudo apt-get install libgmp-dev libcdd-dev
45
+
46
+ On macOS, if you are using Homebrew, you can install them via
47
+
48
+ brew install gmp cddlib
49
+
50
+ Most other package managers include comparable packages, at least for GMP.
51
+ For cddlib, if your package manager does not provide it, we describe
52
+ further down how to install it yourself.
53
+
54
+
55
+ ## Installation
56
+
57
+ Assuming the prerequisites are present (see the previous section),
58
+ you can now build cddlib as follows:
59
+
60
+ ./configure --with-gaproot=path/to/gaproot
61
+ make
62
+
63
+ where the `path/to/gaproot` is the path to the folder where you installed and
64
+ compiled GAP and which contains the file `sysinfo.gap`. The default value is
65
+ `../..`.
66
+
67
+ ## Simple installation (includes building the current cdd from source):
68
+
69
+ For a simplified installation, try the following command in the main CddInterface directory
70
+
71
+ ./install.sh path/to/gaproot
72
+
73
+ If that does not work, try the following:
74
+
75
+ ## Advanced installation (includes building the current cdd from source):
76
+
77
+ Go inside the CddInterface directory and download some release of
78
+ [cddlib](https://github.com/cddlib/cddlib/releases) and extract it. For
79
+ example the release 0.94m:
80
+
81
+ wget https://github.com/cddlib/cddlib/releases/download/0.94m/cddlib-0.94m.tar.gz
82
+ tar xvf cddlib-0.94m.tar.gz
83
+ ln -sf $(pwd)/cddlib-0.94m $(pwd)/current_cddlib
84
+
85
+ After that, compile cddlib via
86
+
87
+ cd current_cddlib
88
+ mkdir build
89
+ ./bootstrap
90
+ ./configure --prefix=$(pwd)/build
91
+ make
92
+ make install
93
+
94
+ Cdd should now be installed in the `build` directory. After that, go back to the CddInterface main folder
95
+ and install CddInterface with the following commands
96
+
97
+ ./autogen.sh
98
+ ./configure --with-gaproot=path/to/gaproot --with-cddlib=$(pwd)/current_cddlib/build
99
+ make
100
+
101
+ After that, you should be able to load CddInterface.
102
+
103
+ ## Documentation
104
+ To create the documentation:
105
+
106
+ gap makedoc.g
107
+
108
+ To run the test files
109
+
110
+ gap tst/testall.g
111
+
112
+ ## Update
113
+ The package can be updated using the following commands
114
+
115
+ git pull
116
+ make
117
+
118
+ ## Using the package via Docker
119
+ With docker app you can run an image of the newest version of gap && CddInterface via
120
+ the command
121
+
122
+ docker run -it kamalsaleh/gap_packages
123
+
124
+ ## Using the package via Binder
125
+ If you want to experiment online with the package you can use `notebook.ipynb` vie the binder link below.
126
+
127
+ [![Binder](https://mybinder.org/badge.svg)](https://mybinder.org/v2/gh/homalg-project/CddInterface/master)
128
+
129
+
130
+
131
+ Of course you are welcome to e-mail me if there are any questions, remarks, suggestions ;)
132
+
133
+ Kamal Saleh e-mail: <saleh@mathematik.uni-siegen.de>
134
+
135
+ ## License
136
+
137
+ CddInterface is free software; you can redistribute it and/or modify it under
138
+ the terms of the GNU General Public License as published by the Free Software
139
+ Foundation; either version 2 of the License, or (at your option) any later
140
+ version.
@@ -0,0 +1,2 @@
1
+ 1- Update the package to get the last version of Cddlib https://github.com/cddlib/cddlib
2
+ 2- Support inputs with real entries?
@@ -0,0 +1,5 @@
1
+ #!/bin/sh
2
+ #
3
+ # Regenerate configure from configure.ac. Requires GNU autoconf.
4
+ set -ex
5
+ autoreconf -Wall -f
@@ -0,0 +1,316 @@
1
+ This file contains any messages produced by compilers while
2
+ running configure, to aid debugging if configure makes a mistake.
3
+
4
+ It was created by CddInterface configure package, which was
5
+ generated by GNU Autoconf 2.71. Invocation command line was
6
+
7
+ $ ./configure --with-gaproot=/host/sage-musllinux_1_2_x86_64/lib/gap/ --with-cddlib=/host/sage-musllinux_1_2_x86_64
8
+
9
+ ## --------- ##
10
+ ## Platform. ##
11
+ ## --------- ##
12
+
13
+ hostname = 1f89389fd4a9
14
+ uname -m = x86_64
15
+ uname -r = 6.11.0-1018-azure
16
+ uname -s = Linux
17
+ uname -v = #18~24.04.1-Ubuntu SMP Sat Jun 28 04:46:03 UTC 2025
18
+
19
+ /usr/bin/uname -p = unknown
20
+ /bin/uname -X = unknown
21
+
22
+ /bin/arch = x86_64
23
+ /usr/bin/arch -k = unknown
24
+ /usr/convex/getsysinfo = unknown
25
+ /usr/bin/hostinfo = unknown
26
+ /bin/machine = unknown
27
+ /usr/bin/oslevel = unknown
28
+ /bin/universe = unknown
29
+
30
+ PATH: /host/sage-musllinux_1_2_x86_64/libexec/ccache/
31
+ PATH: /project/build/bin/
32
+ PATH: /project/tools/
33
+ PATH: /host/sage-musllinux_1_2_x86_64/var/lib/sage/venv-python3.9/bin/
34
+ PATH: /host/sage-musllinux_1_2_x86_64/bin/
35
+ PATH: /host/sage-musllinux_1_2_x86_64/libexec/ccache/
36
+ PATH: /project/build/bin/
37
+ PATH: /project/tools/
38
+ PATH: /host/sage-musllinux_1_2_x86_64/bin/
39
+ PATH: /project/src/bin/
40
+ PATH: /host/sage-musllinux_1_2_x86_64/bin/
41
+ PATH: /project/build/bin/
42
+ PATH: /project/src/bin/
43
+ PATH: /host/sage-musllinux_1_2_x86_64/bin/
44
+ PATH: /project/prefix/bin/
45
+ PATH: /opt/python/cp39-cp39/bin/
46
+ PATH: /usr/local/sbin/
47
+ PATH: /usr/local/bin/
48
+ PATH: /usr/sbin/
49
+ PATH: /usr/bin/
50
+ PATH: /sbin/
51
+ PATH: /bin/
52
+
53
+
54
+ ## ----------- ##
55
+ ## Core tests. ##
56
+ ## ----------- ##
57
+
58
+ configure:2301: checking for gcc
59
+ configure:2333: result: gcc
60
+ configure:2686: checking for C compiler version
61
+ configure:2695: gcc --version >&5
62
+ gcc (Alpine 14.2.0) 14.2.0
63
+ Copyright (C) 2024 Free Software Foundation, Inc.
64
+ This is free software; see the source for copying conditions. There is NO
65
+ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
66
+
67
+ configure:2706: $? = 0
68
+ configure:2695: gcc -v >&5
69
+ Using built-in specs.
70
+ COLLECT_GCC=/usr/bin/gcc
71
+ COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-alpine-linux-musl/14.2.0/lto-wrapper
72
+ Target: x86_64-alpine-linux-musl
73
+ Configured with: /home/buildozer/aports/main/gcc/src/gcc-14.2.0/configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --build=x86_64-alpine-linux-musl --host=x86_64-alpine-linux-musl --target=x86_64-alpine-linux-musl --enable-checking=release --disable-cet --disable-fixed-point --disable-libstdcxx-pch --disable-multilib --disable-nls --disable-werror --disable-symvers --enable-__cxa_atexit --enable-default-pie --enable-default-ssp --enable-languages=c,c++,d,objc,go,fortran,ada --enable-link-serialization=2 --enable-linker-build-id --disable-libssp --disable-libsanitizer --enable-shared --enable-threads --enable-tls --with-bugurl=https://gitlab.alpinelinux.org/alpine/aports/-/issues --with-system-zlib --with-linker-hash-style=gnu --with-pkgversion='Alpine 14.2.0'
74
+ Thread model: posix
75
+ Supported LTO compression algorithms: zlib
76
+ gcc version 14.2.0 (Alpine 14.2.0)
77
+ configure:2706: $? = 0
78
+ configure:2695: gcc -V >&5
79
+ gcc: error: unrecognized command-line option '-V'
80
+ gcc: fatal error: no input files
81
+ compilation terminated.
82
+ configure:2706: $? = 1
83
+ configure:2695: gcc -qversion >&5
84
+ gcc: error: unrecognized command-line option '-qversion'; did you mean '--version'?
85
+ gcc: fatal error: no input files
86
+ compilation terminated.
87
+ configure:2706: $? = 1
88
+ configure:2695: gcc -version >&5
89
+ gcc: error: unrecognized command-line option '-version'
90
+ gcc: fatal error: no input files
91
+ compilation terminated.
92
+ configure:2706: $? = 1
93
+ configure:2726: checking whether the C compiler works
94
+ configure:2748: gcc -g -O2 -std=gnu17 -Wno-implicit-function-declaration -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib conftest.c >&5
95
+ configure:2752: $? = 0
96
+ configure:2802: result: yes
97
+ configure:2805: checking for C compiler default output file name
98
+ configure:2807: result: a.out
99
+ configure:2813: checking for suffix of executables
100
+ configure:2820: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib conftest.c >&5
101
+ configure:2824: $? = 0
102
+ configure:2847: result:
103
+ configure:2869: checking whether we are cross compiling
104
+ configure:2877: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib conftest.c >&5
105
+ configure:2881: $? = 0
106
+ configure:2888: ./conftest
107
+ configure:2892: $? = 0
108
+ configure:2907: result: no
109
+ configure:2912: checking for suffix of object files
110
+ configure:2935: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration conftest.c >&5
111
+ configure:2939: $? = 0
112
+ configure:2961: result: o
113
+ configure:2965: checking whether the compiler supports GNU C
114
+ configure:2985: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration conftest.c >&5
115
+ configure:2985: $? = 0
116
+ configure:2995: result: yes
117
+ configure:3006: checking whether gcc accepts -g
118
+ configure:3027: gcc -c -g conftest.c >&5
119
+ configure:3027: $? = 0
120
+ configure:3071: result: yes
121
+ configure:3091: checking for gcc option to enable C11 features
122
+ configure:3106: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration conftest.c >&5
123
+ configure:3106: $? = 0
124
+ configure:3124: result: none needed
125
+ configure:3257: checking for GAP root directory
126
+ configure:3274: result: /host/sage-musllinux_1_2_x86_64/lib/gap
127
+ configure:3298: checking for GAP architecture
128
+ configure:3305: result: x86_64-pc-linux-musl-default64-kv9
129
+ configure:3418: checking for stdio.h
130
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
131
+ configure:3418: $? = 0
132
+ configure:3418: result: yes
133
+ configure:3418: checking for stdlib.h
134
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
135
+ configure:3418: $? = 0
136
+ configure:3418: result: yes
137
+ configure:3418: checking for string.h
138
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
139
+ configure:3418: $? = 0
140
+ configure:3418: result: yes
141
+ configure:3418: checking for inttypes.h
142
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
143
+ configure:3418: $? = 0
144
+ configure:3418: result: yes
145
+ configure:3418: checking for stdint.h
146
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
147
+ configure:3418: $? = 0
148
+ configure:3418: result: yes
149
+ configure:3418: checking for strings.h
150
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
151
+ configure:3418: $? = 0
152
+ configure:3418: result: yes
153
+ configure:3418: checking for sys/stat.h
154
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
155
+ configure:3418: $? = 0
156
+ configure:3418: result: yes
157
+ configure:3418: checking for sys/types.h
158
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
159
+ configure:3418: $? = 0
160
+ configure:3418: result: yes
161
+ configure:3418: checking for unistd.h
162
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
163
+ configure:3418: $? = 0
164
+ configure:3418: result: yes
165
+ configure:3443: checking for cddlib/setoper.h
166
+ configure:3443: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include conftest.c >&5
167
+ configure:3443: $? = 0
168
+ configure:3443: result: yes
169
+ configure:3463: checking for dd_SetLinearity in -lcddgmp
170
+ configure:3486: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -lcddgmp -lgmp conftest.c -lcddgmp >&5
171
+ configure:3486: $? = 0
172
+ configure:3496: result: yes
173
+ configure:3626: creating ./config.status
174
+
175
+ ## ---------------------- ##
176
+ ## Running config.status. ##
177
+ ## ---------------------- ##
178
+
179
+ This file was extended by CddInterface config.status package, which was
180
+ generated by GNU Autoconf 2.71. Invocation command line was
181
+
182
+ CONFIG_FILES =
183
+ CONFIG_HEADERS =
184
+ CONFIG_LINKS =
185
+ CONFIG_COMMANDS =
186
+ $ ./config.status
187
+
188
+ on 1f89389fd4a9
189
+
190
+ config.status:799: creating Makefile
191
+ config.status:799: creating src/config.h
192
+
193
+ ## ---------------- ##
194
+ ## Cache variables. ##
195
+ ## ---------------- ##
196
+
197
+ ac_cv_c_compiler_gnu='yes'
198
+ ac_cv_env_CC_set='set'
199
+ ac_cv_env_CC_value='gcc'
200
+ ac_cv_env_CFLAGS_set='set'
201
+ ac_cv_env_CFLAGS_value='-g -O2 -std=gnu17 -Wno-implicit-function-declaration'
202
+ ac_cv_env_CPPFLAGS_set=''
203
+ ac_cv_env_CPPFLAGS_value=''
204
+ ac_cv_env_LDFLAGS_set='set'
205
+ ac_cv_env_LDFLAGS_value='-Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib '
206
+ ac_cv_env_LIBS_set=''
207
+ ac_cv_env_LIBS_value=''
208
+ ac_cv_env_build_alias_set=''
209
+ ac_cv_env_build_alias_value=''
210
+ ac_cv_env_host_alias_set=''
211
+ ac_cv_env_host_alias_value=''
212
+ ac_cv_env_target_alias_set=''
213
+ ac_cv_env_target_alias_value=''
214
+ ac_cv_header_cddlib_setoper_h='yes'
215
+ ac_cv_header_inttypes_h='yes'
216
+ ac_cv_header_stdint_h='yes'
217
+ ac_cv_header_stdio_h='yes'
218
+ ac_cv_header_stdlib_h='yes'
219
+ ac_cv_header_string_h='yes'
220
+ ac_cv_header_strings_h='yes'
221
+ ac_cv_header_sys_stat_h='yes'
222
+ ac_cv_header_sys_types_h='yes'
223
+ ac_cv_header_unistd_h='yes'
224
+ ac_cv_lib_cddgmp_dd_SetLinearity='yes'
225
+ ac_cv_objext='o'
226
+ ac_cv_prog_ac_ct_CC='gcc'
227
+ ac_cv_prog_cc_c11=''
228
+ ac_cv_prog_cc_g='yes'
229
+ ac_cv_prog_cc_stdc=''
230
+
231
+ ## ----------------- ##
232
+ ## Output variables. ##
233
+ ## ----------------- ##
234
+
235
+ CC='gcc'
236
+ CDD_CPPFLAGS='-I/host/sage-musllinux_1_2_x86_64/include/cdd -I/host/sage-musllinux_1_2_x86_64/include/cddlib -I/host/sage-musllinux_1_2_x86_64/include'
237
+ CDD_LDFLAGS='-L/host/sage-musllinux_1_2_x86_64/lib -lcddgmp -lgmp'
238
+ CFLAGS='-g -O2 -std=gnu17 -Wno-implicit-function-declaration'
239
+ CPPFLAGS=''
240
+ DEFS='-DHAVE_CONFIG_H'
241
+ ECHO_C=''
242
+ ECHO_N='-n'
243
+ ECHO_T=''
244
+ EXEEXT=''
245
+ GAPARCH='x86_64-pc-linux-musl-default64-kv9'
246
+ GAPROOT='/host/sage-musllinux_1_2_x86_64/lib/gap'
247
+ GAP_CFLAGS=' -pthread -g -O2'
248
+ GAP_CPPFLAGS='-I/host/sage-musllinux_1_2_x86_64/include/gap -I/host/sage-musllinux_1_2_x86_64/include -DUSE_GASMAN=1 -I/src'
249
+ GAP_LDFLAGS=''
250
+ GAP_LIBS=''
251
+ LDFLAGS='-Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath-link,/host/sage-musllinux_1_2_x86_64/lib -L/host/sage-musllinux_1_2_x86_64/lib -Wl,-rpath,/host/sage-musllinux_1_2_x86_64/lib '
252
+ LIBOBJS=''
253
+ LIBS='-lcddgmp '
254
+ LTLIBOBJS=''
255
+ OBJEXT='o'
256
+ PACKAGE_BUGREPORT=''
257
+ PACKAGE_NAME='CddInterface'
258
+ PACKAGE_STRING='CddInterface package'
259
+ PACKAGE_TARNAME='cddinterface'
260
+ PACKAGE_URL=''
261
+ PACKAGE_VERSION='package'
262
+ PATH_SEPARATOR=':'
263
+ SHELL='/bin/sh'
264
+ ac_ct_CC='gcc'
265
+ bindir='${exec_prefix}/bin'
266
+ build_alias=''
267
+ datadir='${datarootdir}'
268
+ datarootdir='${prefix}/share'
269
+ docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
270
+ dvidir='${docdir}'
271
+ exec_prefix='${prefix}'
272
+ host_alias=''
273
+ htmldir='${docdir}'
274
+ includedir='${prefix}/include'
275
+ infodir='${datarootdir}/info'
276
+ libdir='${exec_prefix}/lib'
277
+ libexecdir='${exec_prefix}/libexec'
278
+ localedir='${datarootdir}/locale'
279
+ localstatedir='${prefix}/var'
280
+ mandir='${datarootdir}/man'
281
+ oldincludedir='/usr/include'
282
+ pdfdir='${docdir}'
283
+ prefix='/usr/local'
284
+ program_transform_name='s,x,x,'
285
+ psdir='${docdir}'
286
+ runstatedir='${localstatedir}/run'
287
+ sbindir='${exec_prefix}/sbin'
288
+ sharedstatedir='${prefix}/com'
289
+ sysconfdir='${prefix}/etc'
290
+ target_alias=''
291
+
292
+ ## ----------- ##
293
+ ## confdefs.h. ##
294
+ ## ----------- ##
295
+
296
+ /* confdefs.h */
297
+ #define PACKAGE_NAME "CddInterface"
298
+ #define PACKAGE_TARNAME "cddinterface"
299
+ #define PACKAGE_VERSION "package"
300
+ #define PACKAGE_STRING "CddInterface package"
301
+ #define PACKAGE_BUGREPORT ""
302
+ #define PACKAGE_URL ""
303
+ #define HAVE_STDIO_H 1
304
+ #define HAVE_STDLIB_H 1
305
+ #define HAVE_STRING_H 1
306
+ #define HAVE_INTTYPES_H 1
307
+ #define HAVE_STDINT_H 1
308
+ #define HAVE_STRINGS_H 1
309
+ #define HAVE_SYS_STAT_H 1
310
+ #define HAVE_SYS_TYPES_H 1
311
+ #define HAVE_UNISTD_H 1
312
+ #define STDC_HEADERS 1
313
+ #define HAVE_CDDLIB_SETOPER_H 1
314
+ #define HAVE_LIBCDDGMP 1
315
+
316
+ configure: exit 0