mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

adding sign option if keyfile is present

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2016-07-26 14:31:29 -07:00
parent 67c6f9be91
commit 9cab896632
1 changed files with 6 additions and 0 deletions

6
scripts/mk_util.py
View file

@ -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',