mirror of
https://github.com/Z3Prover/z3
synced 2025-04-29 03:45:51 +00:00
7 lines
209 B
PkgConfig
7 lines
209 B
PkgConfig
prefix=@PREFIX@
|
|
assemblies_dir=${prefix}/lib/mono/@GAC_PKG_NAME@
|
|
|
|
Name: @GAC_PKG_NAME@
|
|
Description: .NET bindings for The Microsoft Z3 SMT solver
|
|
Version: @VERSION@
|
|
Libs: -r:${assemblies_dir}/Microsoft.Z3.dll
|