passagemath-gap-pkg-cddinterface 10.6.23__cp313-cp313-macosx_14_0_arm64.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/aarch64-apple-darwin23-default64-kv9/CddInterface.so +0 -0
  11. gap/pkg/cddinterface/config.log +336 -0
  12. gap/pkg/cddinterface/config.status +988 -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 +6 -0
  55. passagemath_gap_pkg_cddinterface-10.6.23.dist-info/top_level.txt +1 -0
  56. passagemath_gap_pkg_cddinterface.dylibs/libcddgmp.0.dylib +0 -0
  57. passagemath_gap_pkg_cddinterface.dylibs/libgmp.10.dylib +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-darwin.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,336 @@
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=/Users/runner/sage-local/lib/gap/ --with-cddlib=/Users/runner/sage-local
8
+
9
+ ## --------- ##
10
+ ## Platform. ##
11
+ ## --------- ##
12
+
13
+ hostname = Mac-1757919746149.local
14
+ uname -m = arm64
15
+ uname -r = 23.6.0
16
+ uname -s = Darwin
17
+ uname -v = Darwin Kernel Version 23.6.0: Thu Apr 24 20:27:23 PDT 2025; root:xnu-10063.141.1.705.2~1/RELEASE_ARM64_VMAPPLE
18
+
19
+ /usr/bin/uname -p = arm
20
+ /bin/uname -X = unknown
21
+
22
+ /bin/arch = unknown
23
+ /usr/bin/arch -k = unknown
24
+ /usr/convex/getsysinfo = unknown
25
+ /usr/bin/hostinfo = Mach kernel version:
26
+ Darwin Kernel Version 23.6.0: Thu Apr 24 20:27:23 PDT 2025; root:xnu-10063.141.1.705.2~1/RELEASE_ARM64_VMAPPLE
27
+ Kernel configured for up to 3 processors.
28
+ 3 processors are physically available.
29
+ 3 processors are logically available.
30
+ Processor type: arm64e (ARM64E)
31
+ Processors active: 0 1 2
32
+ Primary memory available: 7.00 gigabytes
33
+ Default processor set: 502 tasks, 1496 threads, 3 processors
34
+ Load average: 8.81, Mach factor: 0.44
35
+ /bin/machine = unknown
36
+ /usr/bin/oslevel = unknown
37
+ /bin/universe = unknown
38
+
39
+ PATH: /Users/runner/sage-local/libexec/ccache/
40
+ PATH: /Users/runner/work/passagemath/passagemath/build/bin/
41
+ PATH: /Users/runner/work/passagemath/passagemath/tools/
42
+ PATH: /Users/runner/sage-local/var/lib/sage/venv-python3.13/bin/
43
+ PATH: /Users/runner/sage-local/bin/
44
+ PATH: /Users/runner/sage-local/libexec/ccache/
45
+ PATH: /Users/runner/work/passagemath/passagemath/build/bin/
46
+ PATH: /Users/runner/work/passagemath/passagemath/tools/
47
+ PATH: /Users/runner/sage-local/bin/
48
+ PATH: /Users/runner/work/passagemath/passagemath/src/bin/
49
+ PATH: /Users/runner/sage-local/bin/
50
+ PATH: /Users/runner/work/passagemath/passagemath/build/bin/
51
+ PATH: /Users/runner/work/passagemath/passagemath/src/bin/
52
+ PATH: /Users/runner/sage-local/bin/
53
+ PATH: /opt/homebrew/opt/texinfo/bin/
54
+ PATH: /opt/homebrew/opt/bzip2/bin/
55
+ PATH: /Users/runner/work/passagemath/passagemath/prefix/bin/
56
+ PATH: /opt/homebrew/lib/ruby/gems/3.3.0/bin/
57
+ PATH: /opt/homebrew/opt/ruby@3.3/bin/
58
+ PATH: /Users/runner/.local/bin/
59
+ PATH: /opt/homebrew/bin/
60
+ PATH: /opt/homebrew/sbin/
61
+ PATH: /Users/runner/.cargo/bin/
62
+ PATH: /usr/local/opt/curl/bin/
63
+ PATH: /usr/local/bin/
64
+ PATH: /usr/local/sbin/
65
+ PATH: /Users/runner/bin/
66
+ PATH: /Users/runner/.yarn/bin/
67
+ PATH: /Users/runner/Library/Android/sdk/tools/
68
+ PATH: /Users/runner/Library/Android/sdk/platform-tools/
69
+ PATH: /Library/Frameworks/Python.framework/Versions/Current/bin/
70
+ PATH: /Library/Frameworks/Mono.framework/Versions/Current/Commands/
71
+ PATH: /usr/bin/
72
+ PATH: /bin/
73
+ PATH: /usr/sbin/
74
+ PATH: /sbin/
75
+ PATH: /Users/runner/.dotnet/tools/
76
+
77
+
78
+ ## ----------- ##
79
+ ## Core tests. ##
80
+ ## ----------- ##
81
+
82
+ configure:2301: checking for gcc
83
+ configure:2333: result: gcc
84
+ configure:2686: checking for C compiler version
85
+ configure:2695: gcc --version >&5
86
+ Apple clang version 15.0.0 (clang-1500.3.9.4)
87
+ Target: arm64-apple-darwin23.6.0
88
+ Thread model: posix
89
+ InstalledDir: /Applications/Xcode_15.4.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin
90
+ configure:2706: $? = 0
91
+ configure:2695: gcc -v >&5
92
+ Apple clang version 15.0.0 (clang-1500.3.9.4)
93
+ Target: arm64-apple-darwin23.6.0
94
+ Thread model: posix
95
+ InstalledDir: /Applications/Xcode_15.4.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin
96
+ configure:2706: $? = 0
97
+ configure:2695: gcc -V >&5
98
+ clang: error: argument to '-V' is missing (expected 1 value)
99
+ clang: error: no input files
100
+ configure:2706: $? = 1
101
+ configure:2695: gcc -qversion >&5
102
+ clang: error: unknown argument '-qversion'; did you mean '--version'?
103
+ clang: error: no input files
104
+ configure:2706: $? = 1
105
+ configure:2695: gcc -version >&5
106
+ clang: error: unknown argument '-version'; did you mean '--version'?
107
+ clang: error: no input files
108
+ configure:2706: $? = 1
109
+ configure:2726: checking whether the C compiler works
110
+ configure:2748: gcc -g -O2 -std=gnu17 -Wno-implicit-function-declaration -L/Users/runner/sage-local/lib -L/Users/runner/sage-local/lib -Wl,-ld_classic -Wl,-headerpad_max_install_names -Wl,-ld_classic conftest.c >&5
111
+ configure:2752: $? = 0
112
+ configure:2802: result: yes
113
+ configure:2805: checking for C compiler default output file name
114
+ configure:2807: result: a.out
115
+ configure:2813: checking for suffix of executables
116
+ configure:2820: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration -L/Users/runner/sage-local/lib -L/Users/runner/sage-local/lib -Wl,-ld_classic -Wl,-headerpad_max_install_names -Wl,-ld_classic conftest.c >&5
117
+ configure:2824: $? = 0
118
+ configure:2847: result:
119
+ configure:2869: checking whether we are cross compiling
120
+ configure:2877: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration -L/Users/runner/sage-local/lib -L/Users/runner/sage-local/lib -Wl,-ld_classic -Wl,-headerpad_max_install_names -Wl,-ld_classic conftest.c >&5
121
+ configure:2881: $? = 0
122
+ configure:2888: ./conftest
123
+ configure:2892: $? = 0
124
+ configure:2907: result: no
125
+ configure:2912: checking for suffix of object files
126
+ configure:2935: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration conftest.c >&5
127
+ configure:2939: $? = 0
128
+ configure:2961: result: o
129
+ configure:2965: checking whether the compiler supports GNU C
130
+ configure:2985: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration conftest.c >&5
131
+ configure:2985: $? = 0
132
+ configure:2995: result: yes
133
+ configure:3006: checking whether gcc accepts -g
134
+ configure:3027: gcc -c -g conftest.c >&5
135
+ configure:3027: $? = 0
136
+ configure:3071: result: yes
137
+ configure:3091: checking for gcc option to enable C11 features
138
+ configure:3106: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration conftest.c >&5
139
+ conftest.c:23:14: warning: a function definition without a prototype is deprecated in all versions of C and is not supported in C2x [-Wdeprecated-non-prototype]
140
+ static char *e (p, i)
141
+ ^
142
+ 1 warning generated.
143
+ configure:3106: $? = 0
144
+ configure:3124: result: none needed
145
+ configure:3257: checking for GAP root directory
146
+ configure:3274: result: /Users/runner/sage-local/lib/gap
147
+ configure:3298: checking for GAP architecture
148
+ configure:3305: result: aarch64-apple-darwin23-default64-kv9
149
+ configure:3418: checking for stdio.h
150
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
151
+ configure:3418: $? = 0
152
+ configure:3418: result: yes
153
+ configure:3418: checking for stdlib.h
154
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
155
+ configure:3418: $? = 0
156
+ configure:3418: result: yes
157
+ configure:3418: checking for string.h
158
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
159
+ configure:3418: $? = 0
160
+ configure:3418: result: yes
161
+ configure:3418: checking for inttypes.h
162
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
163
+ configure:3418: $? = 0
164
+ configure:3418: result: yes
165
+ configure:3418: checking for stdint.h
166
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
167
+ configure:3418: $? = 0
168
+ configure:3418: result: yes
169
+ configure:3418: checking for strings.h
170
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
171
+ configure:3418: $? = 0
172
+ configure:3418: result: yes
173
+ configure:3418: checking for sys/stat.h
174
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
175
+ configure:3418: $? = 0
176
+ configure:3418: result: yes
177
+ configure:3418: checking for sys/types.h
178
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
179
+ configure:3418: $? = 0
180
+ configure:3418: result: yes
181
+ configure:3418: checking for unistd.h
182
+ configure:3418: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
183
+ configure:3418: $? = 0
184
+ configure:3418: result: yes
185
+ configure:3443: checking for cddlib/setoper.h
186
+ configure:3443: gcc -c -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include conftest.c >&5
187
+ configure:3443: $? = 0
188
+ configure:3443: result: yes
189
+ configure:3463: checking for dd_SetLinearity in -lcddgmp
190
+ configure:3486: gcc -o conftest -g -O2 -std=gnu17 -Wno-implicit-function-declaration -I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include -L/Users/runner/sage-local/lib -L/Users/runner/sage-local/lib -Wl,-ld_classic -Wl,-headerpad_max_install_names -Wl,-ld_classic -L/Users/runner/sage-local/lib -lcddgmp -lgmp conftest.c -lcddgmp >&5
191
+ configure:3486: $? = 0
192
+ configure:3496: result: yes
193
+ configure:3626: creating ./config.status
194
+
195
+ ## ---------------------- ##
196
+ ## Running config.status. ##
197
+ ## ---------------------- ##
198
+
199
+ This file was extended by CddInterface config.status package, which was
200
+ generated by GNU Autoconf 2.71. Invocation command line was
201
+
202
+ CONFIG_FILES =
203
+ CONFIG_HEADERS =
204
+ CONFIG_LINKS =
205
+ CONFIG_COMMANDS =
206
+ $ ./config.status
207
+
208
+ on Mac-1757919746149.local
209
+
210
+ config.status:798: creating Makefile
211
+ config.status:798: creating src/config.h
212
+
213
+ ## ---------------- ##
214
+ ## Cache variables. ##
215
+ ## ---------------- ##
216
+
217
+ ac_cv_c_compiler_gnu=yes
218
+ ac_cv_env_CC_set=set
219
+ ac_cv_env_CC_value=gcc
220
+ ac_cv_env_CFLAGS_set=set
221
+ ac_cv_env_CFLAGS_value='-g -O2 -std=gnu17 -Wno-implicit-function-declaration'
222
+ ac_cv_env_CPPFLAGS_set=
223
+ ac_cv_env_CPPFLAGS_value=
224
+ ac_cv_env_LDFLAGS_set=set
225
+ ac_cv_env_LDFLAGS_value='-L/Users/runner/sage-local/lib -L/Users/runner/sage-local/lib -Wl,-ld_classic -Wl,-headerpad_max_install_names -Wl,-ld_classic'
226
+ ac_cv_env_LIBS_set=
227
+ ac_cv_env_LIBS_value=
228
+ ac_cv_env_build_alias_set=
229
+ ac_cv_env_build_alias_value=
230
+ ac_cv_env_host_alias_set=
231
+ ac_cv_env_host_alias_value=
232
+ ac_cv_env_target_alias_set=
233
+ ac_cv_env_target_alias_value=
234
+ ac_cv_header_cddlib_setoper_h=yes
235
+ ac_cv_header_inttypes_h=yes
236
+ ac_cv_header_stdint_h=yes
237
+ ac_cv_header_stdio_h=yes
238
+ ac_cv_header_stdlib_h=yes
239
+ ac_cv_header_string_h=yes
240
+ ac_cv_header_strings_h=yes
241
+ ac_cv_header_sys_stat_h=yes
242
+ ac_cv_header_sys_types_h=yes
243
+ ac_cv_header_unistd_h=yes
244
+ ac_cv_lib_cddgmp_dd_SetLinearity=yes
245
+ ac_cv_objext=o
246
+ ac_cv_prog_ac_ct_CC=gcc
247
+ ac_cv_prog_cc_c11=
248
+ ac_cv_prog_cc_g=yes
249
+ ac_cv_prog_cc_stdc=
250
+
251
+ ## ----------------- ##
252
+ ## Output variables. ##
253
+ ## ----------------- ##
254
+
255
+ CC='gcc'
256
+ CDD_CPPFLAGS='-I/Users/runner/sage-local/include/cdd -I/Users/runner/sage-local/include/cddlib -I/Users/runner/sage-local/include'
257
+ CDD_LDFLAGS='-L/Users/runner/sage-local/lib -lcddgmp -lgmp'
258
+ CFLAGS='-g -O2 -std=gnu17 -Wno-implicit-function-declaration'
259
+ CPPFLAGS=''
260
+ DEFS='-DHAVE_CONFIG_H'
261
+ ECHO_C='\c'
262
+ ECHO_N=''
263
+ ECHO_T=''
264
+ EXEEXT=''
265
+ GAPARCH='aarch64-apple-darwin23-default64-kv9'
266
+ GAPROOT='/Users/runner/sage-local/lib/gap'
267
+ GAP_CFLAGS=' -pthread -g -O2'
268
+ GAP_CPPFLAGS='-I/Users/runner/sage-local/include/gap -I/Users/runner/sage-local/include -DUSE_GASMAN=1 -I/src'
269
+ GAP_LDFLAGS=''
270
+ GAP_LIBS=''
271
+ LDFLAGS='-L/Users/runner/sage-local/lib -L/Users/runner/sage-local/lib -Wl,-ld_classic -Wl,-headerpad_max_install_names -Wl,-ld_classic'
272
+ LIBOBJS=''
273
+ LIBS='-lcddgmp '
274
+ LTLIBOBJS=''
275
+ OBJEXT='o'
276
+ PACKAGE_BUGREPORT=''
277
+ PACKAGE_NAME='CddInterface'
278
+ PACKAGE_STRING='CddInterface package'
279
+ PACKAGE_TARNAME='cddinterface'
280
+ PACKAGE_URL=''
281
+ PACKAGE_VERSION='package'
282
+ PATH_SEPARATOR=':'
283
+ SHELL='/bin/sh'
284
+ ac_ct_CC='gcc'
285
+ bindir='${exec_prefix}/bin'
286
+ build_alias=''
287
+ datadir='${datarootdir}'
288
+ datarootdir='${prefix}/share'
289
+ docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
290
+ dvidir='${docdir}'
291
+ exec_prefix='${prefix}'
292
+ host_alias=''
293
+ htmldir='${docdir}'
294
+ includedir='${prefix}/include'
295
+ infodir='${datarootdir}/info'
296
+ libdir='${exec_prefix}/lib'
297
+ libexecdir='${exec_prefix}/libexec'
298
+ localedir='${datarootdir}/locale'
299
+ localstatedir='${prefix}/var'
300
+ mandir='${datarootdir}/man'
301
+ oldincludedir='/usr/include'
302
+ pdfdir='${docdir}'
303
+ prefix='/usr/local'
304
+ program_transform_name='s,x,x,'
305
+ psdir='${docdir}'
306
+ runstatedir='${localstatedir}/run'
307
+ sbindir='${exec_prefix}/sbin'
308
+ sharedstatedir='${prefix}/com'
309
+ sysconfdir='${prefix}/etc'
310
+ target_alias=''
311
+
312
+ ## ----------- ##
313
+ ## confdefs.h. ##
314
+ ## ----------- ##
315
+
316
+ /* confdefs.h */
317
+ #define PACKAGE_NAME "CddInterface"
318
+ #define PACKAGE_TARNAME "cddinterface"
319
+ #define PACKAGE_VERSION "package"
320
+ #define PACKAGE_STRING "CddInterface package"
321
+ #define PACKAGE_BUGREPORT ""
322
+ #define PACKAGE_URL ""
323
+ #define HAVE_STDIO_H 1
324
+ #define HAVE_STDLIB_H 1
325
+ #define HAVE_STRING_H 1
326
+ #define HAVE_INTTYPES_H 1
327
+ #define HAVE_STDINT_H 1
328
+ #define HAVE_STRINGS_H 1
329
+ #define HAVE_SYS_STAT_H 1
330
+ #define HAVE_SYS_TYPES_H 1
331
+ #define HAVE_UNISTD_H 1
332
+ #define STDC_HEADERS 1
333
+ #define HAVE_CDDLIB_SETOPER_H 1
334
+ #define HAVE_LIBCDDGMP 1
335
+
336
+ configure: exit 0