libspotltsmin.pc.in 295 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
prefix=@prefix@
exec_prefix=@exec_prefix@
includedir=@includedir@
libdir=@libdir@

Name: Spot-LTSmin
Description: Access to LTSmin-compatible state-space in Spot
URL: https://spot.lrde.epita.fr/
Version: @PACKAGE_VERSION@
Cflags: -I${includedir}
Libs: -L${libdir} -lspotltsmin
Requires: libspot