Junchao,
Do you want to give this a go? Maybe it is a script in lib/petsc/bin/maint
or a makefile rule that takes two git branch names and reports any changes
between them (presumably by running ./configure && make twice to generate the
libraries and making a copy of one branches includes so they can be compared
with the other)
Barry
> On Apr 9, 2019, at 4:42 PM, Jed Brown via petsc-dev <[email protected]>
> wrote:
>
> "Zhang, Junchao via petsc-dev" <[email protected]> writes:
>
>> We should have a mechanism to auto-detect API-breaking commits and then we
>> can fix them before release.
>
> We should have our CI system flag PRs that fail this checker to confirm
> that it's documented in changes/dev.html and that the change is really
> necessary.
>
> https://lvc.github.io/abi-compliance-checker/
