From: Leopold Palomo-A. <le...@al...> - 2018-09-07 08:45:40
|
On 07/09/18 09:12, Leopold Palomo-Avellaneda wrote: > On 06/09/18 16:04, Mark Moll wrote: >> Hi Leopold, >> >> Yes, unless I made mistake. Patch-level releases should preserve ABI compatibility. >> > > Mark!! > > ompl 1.3.3 install libompl.so.14 instead of 13. This is a mistake IMHO. > Mark, checking OMPL_ABI_VERSION I have found: 1.2.1 -> 12 1.3.0 -> 13 1.3.1 -> 14 1.3.2 -> 14 1.3.3 -> 14 1.4.0 -> 15 Are you aware of this? Pay attention that you jump one number from 1.3.0 and 1.3.1. and it's a pity because it was easy to remember that the first two digits means the ABI version. I'm preparing a new debian package (1.4.0) and, could be problematic if I patch OMPL_ABI_VERSION to 14 instead of 15? Leopold -- -- Linux User 152692 GPG: 05F4A7A949A2D9AA Catalonia ------------------------------------- A: Because it messes up the order in which people normally read text. Q: Why is top-posting such a bad thing? A: Top-posting. Q: What is the most annoying thing in e-mail? |