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