deprecated_library_name

The deprecated_library_name stanza enables redirecting an old deprecated name after a library has been renamed. It’s syntax is as follows:

(deprecated_library_name
 (old_public_name <name>)
 (new_public_name <name>))

When a developer uses the old public name in a list of library dependencies, it will be transparently replaced by the new name. Note that it’s not necessary for the new name to exist at definition time, as it is only resolved at the point where the old name is used.

The old_public_name can also be one of the names declared in the deprecated_package_names field of the package declaration in the dune-project file. In this case, the “old” library is understood to be a library whose name is not prefixed by the package name. Such a library cannot be defined in Dune, but other build systems allow it. This feature is meant to help migration from those systems.