From a9b056baa4bfd8e1a7834d1bd0f189e9e2bca48d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 14 Jan 2017 13:58:53 +0100
Subject: [PATCH] [buddy] install a pkg-config file

* src/libbddx.pc.in: New file.
* src/Makefile.am: Generate libbddx.pc, and install it.
Distribute libbddx.pc.in.
* src/.gitignore: Ignore *.pc.
---
 buddy/src/.gitignore    |  2 +-
 buddy/src/Makefile.am   | 15 +++++++++++++++
 buddy/src/libbddx.pc.in | 11 +++++++++++
 3 files changed, 27 insertions(+), 1 deletion(-)
 create mode 100644 buddy/src/libbddx.pc.in

diff --git a/buddy/src/.gitignore b/buddy/src/.gitignore
index 077228768..1e1aeaa52 100644
--- a/buddy/src/.gitignore
+++ b/buddy/src/.gitignore
@@ -5,4 +5,4 @@
 Makefile.in
 Makefile
 bddtest
-
+*.pc
diff --git a/buddy/src/Makefile.am b/buddy/src/Makefile.am
index ac4a4b247..0cab3ddce 100644
--- a/buddy/src/Makefile.am
+++ b/buddy/src/Makefile.am
@@ -30,3 +30,18 @@ check_PROGRAMS = bddtest
 bddtest_SOURCES = bddtest.cxx
 bddtest_CPPFLAGS = -I$(top_builddir)
 bddtest_LDADD = ./libbddx.la
+
+
+EXTRA_DIST = $(srcdir)/libbddx.pc.in
+pkgconfigdir = $(libdir)/pkgconfig
+nodist_pkgconfig_DATA = libbddx.pc
+
+libbddx.pc: $(srcdir)/libbddx.pc.in
+	sed -e 's![@]prefix[@]!$(prefix)!g' \
+	    -e 's![@]exec_prefix[@]!$(exec_prefix)!g' \
+	    -e 's![@]includedir[@]!$(includedir)!g' \
+	    -e 's![@]libdir[@]!$(libdir)!g' \
+	    -e 's![@]PACKAGE_VERSION[@]!$(PACKAGE_VERSION)!g' \
+	$(srcdir)/libbddx.pc.in > $@
+
+DISTCLEANFILES = libbddx.pc
diff --git a/buddy/src/libbddx.pc.in b/buddy/src/libbddx.pc.in
new file mode 100644
index 000000000..9bbc6cfdd
--- /dev/null
+++ b/buddy/src/libbddx.pc.in
@@ -0,0 +1,11 @@
+prefix=@prefix@
+exec_prefix=@exec_prefix@
+includedir=@includedir@
+libdir=@libdir@
+
+Name: BuDDyX
+Description: A BDD library (fork of BuDDy for use with Spot)
+URL: https://spot.lrde.epita.fr/
+Version: @PACKAGE_VERSION@
+Cflags: -I${includedir}
+Libs: -L${libdir} -lbddx