Move headers in a subdirectory

[arthaud]

Running sudo make install creates many files in /usr/include. Some of them have the ap_ prefix which is perfectly fine. However, some of them have very generic names (box.h, num.h) that could easily clash with other libraries.

I would suggest to create an apron directory in /usr/include and put all the headers there. You could then remove the ap_ prefix for some headers.

Users could then simply #include <apron/xxx.h>.

Thanks!

[antoinemine]

That would be nice indeed. However, I don't know how to do this and not break existing code... Any idea on this ? Note that, if you install through opam (for OCaml), you're in luck as it will install in a package-specific location...

[arthaud]

Indeed, this would be a breaking change..