From 9cab896632b9cc21374c540af0b2734c54e6bf9b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 26 Jul 2016 14:31:29 -0700 Subject: [PATCH] adding sign option if keyfile is present Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 8fafd1caa..591f748ec 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1554,11 +1554,17 @@ class DotNetDLLComponent(Component): '/linkresource:{}.dll'.format(get_component(Z3_DLL_COMPONENT).dll_name), ] ) + pathToSnk = os.path.join(self.to_src_dir, 'z3.snk') + snkFile = os.path.join(self.src_dir, 'z3.snk') else: # We need to give the assembly a strong name so that it # can be installed into the GAC with ``make install`` pathToSnk = os.path.join(self.to_src_dir, 'Microsoft.Z3.mono.snk') + snkFile = os.path.join(self.src_dir, 'Microsoft.Z3.mono.snk') + if os.path.isfile(snkFile): cscCmdLine.append('/keyfile:{}'.format(pathToSnk)) + else: + print("Keyfile is not configured: %s" % snkFile) cscCmdLine.extend( ['/unsafe+', '/nowarn:1701,1702',