Meta-ticket: Declare "optional" dependencies of packages (a package manager's suggested/recommended packages)

[mkoeppe]

Various packages can be built with or without the presence of some other packages.

For example, the latte_int configure script detects lrslib and lidia if they are installed, and they provide additional features. lidia is quite a big package, and so it is not clear whether it should be a dependency. (Linux package managers have the notion of suggested or recommended packages for this situation.)

GNU make's "order-only dependencies" "sound" as if they can do this, but as Jeroen explains, they can't.

Of course, the user can just work around this issue by doing sage -i lidia && sage -i latte_int (or similar invocations such as make lidia latte_int, which are sequential from left to right thanks to our top-level Makefile), but we must find a proper solution that ensures reproducible (deterministic) builds when a parallelized make is used. In particular, this is relevant after #21538, which provides ./configure --enable-lidia --enable-latte_int && MAKE=-j12 make, for which the sequential workaround is not available.

This feature can be implemented by Makefile trickery, of course. See #30560.

Tickets:

• Make openssl an optional dependency of python3 #30560: openssl an optional dependency of python3

• giac detects cocoa (which we have added as an experimental package)

• pynac is able to use giac if present (but we currently explicitly disable its use)

• latte_int is able to use lidia for one subroutine -- a huge and unmaintained package; currently it is a normal dependency

• polymake has lots of optional dependencies

Depends on #31017

CC: @tscrim @dimpase @videlec @jhpalmieri @slel

Component: build: configure

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

[mkoeppe]

Branch: u/mkoeppe/latte_int__add_order_only_dependencies

[mkoeppe]

Commit: cb50fb4

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

New commits:

cb50fb4

latte_int: Add order-only dependencies

[sagetrac-git]

Changed commit from cb50fb4 to 0480c34

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

0480c34

latte_int: Update SPKG.txt

[dimpase]

Reviewer: Dima Pasechnik

[jdemeyer]

comment:5

Given that lrslib and lidia are libraries, they should be real dependencies.

[mkoeppe]

comment:6

They are optional for latte_int. This means that one can build latte_int with or without them.

[jdemeyer]

comment:7

Replying to @mkoeppe:

They are optional for latte_int. This means that one can build latte_int with or without them.

That is an argument for not adding those dependencies. It's not an argument for adding them as order-only dependencies.