From 4caadc65197439042fa2fba4bcdea91f7da89609 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 18 Jan 2019 10:13:04 -0800
Subject: [PATCH] add note about libgomp dependency

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_nuget_release.py | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py
index ba0d44c3e..db7a1af64 100644
--- a/scripts/mk_nuget_release.py
+++ b/scripts/mk_nuget_release.py
@@ -85,7 +85,12 @@ def create_nuget_spec():
         <id>Microsoft.Z3</id>
         <version>%s</version>
         <authors>Microsoft</authors>
-        <description>Z3 is a satisfiability modulo theories solver from Microsoft Research.</description>
+        <description>
+Z3 is a satisfiability modulo theories solver from Microsoft Research.
+
+Linux Dependencies:
+    libgomp.so.1 installed    
+        </description>
         <copyright>Copyright Microsoft Corporation. All rights reserved.</copyright>
         <tags>smt constraint solver theorem prover</tags>
         <iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/master/package/icon.jpg</iconUrl>