From 5cdbb1f7be7efaf55312fb7a608ca9977ba0bd80 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Jan 2019 11:25:34 -0800
Subject: [PATCH] this is still used

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/Microsoft.Z3.Sharp.pc.in | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/api/dotnet/Microsoft.Z3.Sharp.pc.in

diff --git a/src/api/dotnet/Microsoft.Z3.Sharp.pc.in b/src/api/dotnet/Microsoft.Z3.Sharp.pc.in
new file mode 100644
index 000000000..8ca4e788b
--- /dev/null
+++ b/src/api/dotnet/Microsoft.Z3.Sharp.pc.in
@@ -0,0 +1,7 @@
+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