Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add libtool versioning to libgap shared library #3933

Merged
merged 1 commit into from
Apr 3, 2020

Commits on Mar 29, 2020

  1. Add libtool versioning to libgap shared library

    We set up a libtool library version using the `current:revision:age`
    format employed by libtool (see the libtool manual for details). We
    currently do not use the `revision` value and use 0 instead. To avoid an
    ever increasing number of versions, the kernel version is derived from
    the libtool versioning info as follow:
    
        kernel_major := current - age
        kernel_minor := age
    
    This provides the right semantics, provided we diligently follow the
    rules for adjusting the values of `current` and `age` during releases,
    as outlined in a comment in `configure.ac`.
    fingolfin committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    b2ccca8 View commit details
    Browse the repository at this point in the history