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.

[dimpase]

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]

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]

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

[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]

looks good to me