<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="ltr">I will try that to see if it works. <br clear="all">
<div>
<div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">
<div dir="ltr">--Junchao Zhang</div>
</div>
</div>
<br>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Tue, Apr 9, 2019 at 5:14 PM Smith, Barry F. <<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>> wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
   Junchao,<br>
<br>
     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)<br>
<br>
   Barry<br>
<br>
<br>
> On Apr 9, 2019, at 4:42 PM, Jed Brown via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov" target="_blank">petsc-dev@mcs.anl.gov</a>> wrote:<br>
> <br>
> "Zhang, Junchao via petsc-dev" <<a href="mailto:petsc-dev@mcs.anl.gov" target="_blank">petsc-dev@mcs.anl.gov</a>> writes:<br>
> <br>
>> We should have a mechanism to auto-detect API-breaking commits and then we can fix them before release.<br>
> <br>
> We should have our CI system flag PRs that fail this checker to confirm<br>
> that it's documented in changes/dev.html and that the change is really<br>
> necessary.<br>
> <br>
> <a href="https://lvc.github.io/abi-compliance-checker/" rel="noreferrer" target="_blank">
https://lvc.github.io/abi-compliance-checker/</a><br>
<br>
</blockquote>
</div>
</body>
</html>