spkg-configure for cbc

[mkoeppe]

We add spkg-configure for the optional package cbc.

Because OptionalExtension does not know about packages found by spkg-configure (see #25828), this is only useful on top of #28175.

Depends on #28175
Depends on #27870

CC: @dimpase

Component: packages: optional

Author: Matthias Koeppe

Branch/Commit: 2b07cf5

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/28908

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Dependencies: #28175

[mkoeppe]

Branch: u/mkoeppe/28908_spkg_configure_cbc

[dimpase]

Commit: 0e5b5b1

[dimpase]

comment:3

Sage's cbc lists quite a few dependencies (readline zlib bzip2 $(BLAS)) , but none are checked by spkg-configure, whereas they are really there, as may be seen on Debian by running

ldd /usr/lib/x86_64-linux-gnu/libCbc.so.3

It seems that cbc.pc file is lacking in this sense (along with its dependencies, it seems they don't bother with anything that is external to , they really should list them - should it be reported to upstream?

Anyhow, we should write these deps out, as it's done in e.g. gsl's ticket #28879

SAGE_SPKG_CONFIGURE([cbc], [
  SAGE_SPKG_DEPCHECK([atlas openblas zlib bzip2], [
    dnl  checking with pkg-config
    PKG_CHECK_MODULES([CBC], [cbc >= 2.9.4], [], [sage_spkg_install_cbc=yes])
  ])
])

Perhaps we should update the copy of cbc.pc, to include all these deps
(more precisely, all but altlas) in the Requires: field.

---

New commits:

86c7da7	Add packages sage_numerical_backends_*
437fec5	Fixup dependencies
846ca9a	Replace CoinBackend, CPLEXBackend, GurobiBackend by their versions imported from sage_numerical_backends_*
3c557b4	build/pkgs/sage_numerical_backends_*/spkg-install: Adjust error message
84c83f2	src/doc/en/thematic_tutorials/linear_programming.rst: Update COIN/CPLEX/Gurobi install instructions
4828766	MixedIntegerLinearProgram: Update docstrings for class and `__init__`, refer to thematic tutorial, and reduce copy-paste
189d60b	get_solver: Reduce copy-paste in docstring
357e966	src/doc/en/thematic_tutorials/linear_programming.rst: Update license info, URL for cbc
0e5b5b1	build/pkgs/cbc/spkg-configure.m4: New

[mkoeppe]

Changed dependencies from #28175 to #28175, #27870

[mkoeppe]

comment:4

Replying to @dimpase:

Sage's cbc lists quite a few dependencies (readline zlib bzip2 $(BLAS)) , but none are checked by spkg-configure ...
It seems that cbc.pc file is lacking in this sense (along with its dependencies, it seems they don't bother with anything that is external to , they really should list them - should it be reported to upstream?

I'm sure they'd like to know, please go ahead.

Anyhow, we should write these deps out, as it's done in e.g. gsl's ticket #28879

SAGE_SPKG_CONFIGURE([cbc], [
  SAGE_SPKG_DEPCHECK([atlas openblas readline zlib bzip2], [
    dnl  checking with pkg-config
    PKG_CHECK_MODULES([CBC], [cbc >= 2.9.4], [], [sage_spkg_install_cbc=yes])
  ])
])

Thanks, I'll wait with that until #27870 to be merged.

[dimpase]

comment:5

I guess their rationale for dependencies in *.pc files is that they don't assume that
blas lapack zlib bzip2 (I scratched readline out, it's actually not a dependence)
have *.pc files. Which is fair enough.

I've listed this ticket in #27330.

By the way, to move #27870 forward please review its dependence, #28883

[sagetrac-git]

Changed commit from 0e5b5b1 to 2b07cf5

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

cb85af7	build/pkgs/cbc/spkg-configure.m4: New
2b07cf5	build/pkgs/cbc/spkg-configure.m4: Add SAGE_SPKG_DEPCHECK

[dimpase]

comment:8

looks good to me

[dimpase]

Reviewer: Dima Pasechnik

[vbraun]

Changed branch from u/mkoeppe/28908_spkg_configure_cbc to 2b07cf5