Commit c8b443ba authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

install a libspotgen.pc file

* spot/gen/libspotgen.pc.in: New file.
* spot/gen/Makefile.am: Install libspotgen.pc.
* debian/libspot-dev.install: Update.
parent 887d14de
......@@ -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
......@@ -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
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment