a0891fde18
Suggested by Jeroen Meijer. * spot/libspot.pc.in, spot/ltsmin/libspotltsmin.pc.in: New file. * spot/Makefile.am, spot/ltsmin/Makefile.am: Distribute them, and install their derived version. * spot/.gitignore: Ignore *.pc files. * debian/libbddx-dev.install, debian/libspot-dev.install: Ship those *.pc files. * NEWS: Mention it.
12 lines
300 B
PkgConfig
12 lines
300 B
PkgConfig
prefix=@prefix@
|
|
exec_prefix=@exec_prefix@
|
|
includedir=@includedir@
|
|
libdir=@libdir@
|
|
|
|
Name: Spot
|
|
Description: A library of LTL and omega-automata algorithms for model checking
|
|
URL: https://spot.lrde.epita.fr/
|
|
Version: @PACKAGE_VERSION@
|
|
Cflags: -I${includedir}
|
|
Libs: -L${libdir} -lspot
|
|
Requires: libbddx
|