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.
- gap/pkg/cddinterface/Dockerfile +16 -0
- gap/pkg/cddinterface/LICENSE +344 -0
- gap/pkg/cddinterface/Makefile +14 -0
- gap/pkg/cddinterface/Makefile.gappkg +225 -0
- gap/pkg/cddinterface/Makefile.in +14 -0
- gap/pkg/cddinterface/PackageInfo.g +103 -0
- gap/pkg/cddinterface/README.md +140 -0
- gap/pkg/cddinterface/ToDo.txt +2 -0
- gap/pkg/cddinterface/autogen.sh +5 -0
- gap/pkg/cddinterface/bin/aarch64-apple-darwin23-default64-kv9/CddInterface.so +0 -0
- gap/pkg/cddinterface/config.log +336 -0
- gap/pkg/cddinterface/config.status +988 -0
- gap/pkg/cddinterface/configure +4779 -0
- gap/pkg/cddinterface/configure.ac +84 -0
- gap/pkg/cddinterface/etc/download.sh +86 -0
- gap/pkg/cddinterface/examples/30x30.g +5 -0
- gap/pkg/cddinterface/examples/FourierProjection.g +83 -0
- gap/pkg/cddinterface/examples/comparing_polyhedrons.g +32 -0
- gap/pkg/cddinterface/examples/demo.g +65 -0
- gap/pkg/cddinterface/examples/example1.g +115 -0
- gap/pkg/cddinterface/examples/intersection.g +35 -0
- gap/pkg/cddinterface/examples/linear_programs.g +64 -0
- gap/pkg/cddinterface/examples/minkuwski.g +35 -0
- gap/pkg/cddinterface/examples/new.g +5 -0
- gap/pkg/cddinterface/examples/new2.g +8 -0
- gap/pkg/cddinterface/gap/Julia.gd +3 -0
- gap/pkg/cddinterface/gap/Julia.gi +15 -0
- gap/pkg/cddinterface/gap/polyhedra.gd +268 -0
- gap/pkg/cddinterface/gap/polyhedra.gi +871 -0
- gap/pkg/cddinterface/gap/tools.gd +12 -0
- gap/pkg/cddinterface/gap/tools.gi +472 -0
- gap/pkg/cddinterface/init.g +17 -0
- gap/pkg/cddinterface/install.sh +64 -0
- gap/pkg/cddinterface/makedoc.g +19 -0
- gap/pkg/cddinterface/notebook.ipynb +343 -0
- gap/pkg/cddinterface/read.g +12 -0
- gap/pkg/cddinterface/tst/01.tst +37 -0
- gap/pkg/cddinterface/tst/02.tst +36 -0
- gap/pkg/cddinterface/tst/03.tst +50 -0
- gap/pkg/cddinterface/tst/04.tst +51 -0
- gap/pkg/cddinterface/tst/05.tst +41 -0
- gap/pkg/cddinterface/tst/06.tst +44 -0
- gap/pkg/cddinterface/tst/07.tst +46 -0
- gap/pkg/cddinterface/tst/08.tst +66 -0
- gap/pkg/cddinterface/tst/09.tst +28 -0
- gap/pkg/cddinterface/tst/10.tst +56 -0
- gap/pkg/cddinterface/tst/11.tst +70 -0
- gap/pkg/cddinterface/tst/etest_1.tst +6 -0
- gap/pkg/cddinterface/tst/etest_2.tst +33 -0
- gap/pkg/cddinterface/tst/testall.g +10 -0
- passagemath_gap_pkg_cddinterface-10.6.23.dist-info/METADATA +92 -0
- passagemath_gap_pkg_cddinterface-10.6.23.dist-info/METADATA.bak +93 -0
- passagemath_gap_pkg_cddinterface-10.6.23.dist-info/RECORD +60 -0
- passagemath_gap_pkg_cddinterface-10.6.23.dist-info/WHEEL +6 -0
- passagemath_gap_pkg_cddinterface-10.6.23.dist-info/top_level.txt +1 -0
- passagemath_gap_pkg_cddinterface.dylibs/libcddgmp.0.dylib +0 -0
- passagemath_gap_pkg_cddinterface.dylibs/libgmp.10.dylib +0 -0
- sage/all__sagemath_gap_pkg_cddinterface.py +1 -0
- sage/libs/all__sagemath_gap_pkg_cddinterface.py +1 -0
- 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
|
+
[](https://github.com/homalg-project/CddInterface/actions?query=workflow%3ACI+branch%3Amaster)
|
|
2
|
+
[](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
|
+
[](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,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
|