pkg-config for easier use in other projects

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

http://arblib.org/

GNU Lesser General Public License v2.1

456 stars 138 forks source link

pkg-config for easier use in other projects #272

Open laolux opened 5 years ago

laolux commented 5 years ago

Hi, I think it would be great if arb would create a pkg-config file (arb.pc) so that it is easier to use in other projects. I have a somewhat working solution by patching the Makefile.in. The makefile then creates the arb.pc and copies it to the correct location. If this feature has any chance to be integrated, then I will be happy to create a pull request. Best regards

dimpase commented 5 years ago

I'd second this, especially as Debian renames librarb.so to libflint-arb.so due to a naming conflict with something, and it gets tricky to figure out the library name to link against; I ran into it on https://trac.sagemath.org/ticket/27270

However, perhaps arb.pc is not an ideal naming choice (due to existence of http://www.arb-home.de/), I'd use something like flint-arb.pc, or arblib.pc...

jscott0 commented 4 years ago

I would also like to see an Arb pkg-config file. Aside from the naming disparity, another reason Debian is pretty adamant about pkg-config files is that they make reliable cross compilation easier. I don't believe it needs to be a prerequesite, but discussion on adding one to FLINT is here. GMP (as of 6.2.0) and MPFR already have them.