mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-03-16 03:58:39 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
202280 commits 2866 branches 349 tags 1.6 GiB
Commit graph

3 commits

Author SHA1 Message Date
Daniel Black
6974058121 mariadb.pc: plugindir is used 
As evidenced by converstation on Zulip,
knowing where to install a plugin is important too.
 2021-03-18 14:35:55 +11:00
Ben Boeckel
f21592c675 mariadb.pc: remove unnecessary include directory 
When installing, no headers are installed into the parent directory of
`${includedir}`.
 2020-02-26 13:18:51 +02:00
Sergei Golubchik
5ca5f92a1d MDEV-5749 Please add a .pc file to MariaDB for easy use via pkg-config 2014-10-11 18:53:06 +02:00