c8b443ba32
* spot/gen/libspotgen.pc.in: New file. * spot/gen/Makefile.am: Install libspotgen.pc. * debian/libspot-dev.install: Update.
12 lines
285 B
PkgConfig
12 lines
285 B
PkgConfig
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
|