From c8b443ba32229226c969200e46998d38b43925fd Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 4 May 2017 11:08:51 +0200
Subject: [PATCH] install a libspotgen.pc file

* spot/gen/libspotgen.pc.in: New file.
* spot/gen/Makefile.am: Install libspotgen.pc.
* debian/libspot-dev.install: Update.
---
 debian/libspot-dev.install |  3 +++
 spot/gen/Makefile.am       | 15 +++++++++++++++
 spot/gen/libspotgen.pc.in  | 12 ++++++++++++
 3 files changed, 30 insertions(+)
 create mode 100644 spot/gen/libspotgen.pc.in

diff --git a/debian/libspot-dev.install b/debian/libspot-dev.install
index cafdaf2ea..68289ba57 100644
--- a/debian/libspot-dev.install
+++ b/debian/libspot-dev.install
@@ -5,3 +5,6 @@ usr/lib/*-*/pkgconfig/libspot.pc
 usr/lib/*-*/libspotltsmin.so
 usr/lib/*-*/libspotltsmin.a
 usr/lib/*-*/pkgconfig/libspotltsmin.pc
+usr/lib/*-*/libspotgen.so
+usr/lib/*-*/libspotgen.a
+usr/lib/*-*/pkgconfig/libspotgen.pc
diff --git a/spot/gen/Makefile.am b/spot/gen/Makefile.am
index 63660bd7d..7c280c86a 100644
--- a/spot/gen/Makefile.am
+++ b/spot/gen/Makefile.am
@@ -26,3 +26,18 @@ spotgen_HEADERS = automata.hh formulas.hh
 lib_LTLIBRARIES = libspotgen.la
 libspotgen_la_SOURCES = automata.cc formulas.cc
 libspotgen_la_LDFLAGS = ../libspot.la -no-undefined $(SYMBOLIC_LDFLAGS)
+
+
+EXTRA_DIST = $(srcdir)/libspotgen.pc.in
+pkgconfigdir = $(libdir)/pkgconfig
+nodist_pkgconfig_DATA = libspotgen.pc
+
+libspotgen.pc: $(srcdir)/libspotgen.pc.in Makefile
+	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)/libspotgen.pc.in > $@.tmp && mv $@.tmp $@
+
+CLEANFILES = libspotgen.pc
diff --git a/spot/gen/libspotgen.pc.in b/spot/gen/libspotgen.pc.in
new file mode 100644
index 000000000..fbc84906d
--- /dev/null
+++ b/spot/gen/libspotgen.pc.in
@@ -0,0 +1,12 @@
+prefix=@prefix@
+exec_prefix=@exec_prefix@
+includedir=@includedir@
+libdir=@libdir@
+
+Name: Spot-gen
+Description: Generate LTL and automata patterns for Spot
+URL: https://spot.lrde.epita.fr/
+Version: @PACKAGE_VERSION@
+Cflags: -I${includedir}
+Libs: -L${libdir} -lspotgen
+Requires: libspot