1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
SCIP for Debian
===============
We (mostly) remove the following vendored libraries:
src/amplmp
----------
Not in Debian, so we build without AMPL support (-DAMPL=OFF).
src/cppad
---------
The vendored version (20180000.0) is much older than the version in the Debian
CppAD package (currently 20260000.0). If we use the Debian package, then we get
errors during compilation, so we turn off CppAD support (-DEXPRINT=none).
src/dejavu
----------
Not in Debian, so we use nauty for computing symmetries (-DSYM=nauty).
src/nauty
---------
We use the Debian nauty package instead. See debian/patches/devendor-nauty.patch.
src/tinycthread
---------------
Not in Debian (but there is an RFP bug - #749338). It consists of a single source
file and header file, and according to the upstream README, it is intended to be
vendored:
"To use TinyCThread in your own project, just add tinycthread.c and
tinycthread.h to your project."
source: https://github.com/tinycthread/tinycthread
So we keep the vendored copy. There is precedent for this in Debian, as the
following packages also vendor it:
* freeciv
* glfw3
* librdkafka
* r-cran-later
Note that it is required even when using -DTPI=none or -DTPI=omp, as several
files always include tinycthread.h.
-- Doug Torrance <dtorrance@debian.org>, Sun, 25 Jan 2026 22:42:49 -0500
|
