mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 00:55:31 +00:00
Code Activity

Minor tweaks to make things more reliable/less obnoxious

Browse source
This commit is contained in:
Andrew Dutcher 2016-09-14 01:10:44 -07:00
parent cb83c42100
commit 02783d0bfb
3 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -1299,7 +1299,7 @@ class DLLComponent(Component):
if IS_WINDOWS or IS_OSX:
out.write('\n\tcp %s %s' % (self.dll_file(), self.staging_link))
else:
out.write('\n\tln -s %s %s' % (os.path.join(reverse_path(self.staging_link), self.dll_file()), self.staging_link))
out.write('\n\tln -f -s %s %s' % (os.path.join(reverse_path(self.staging_link), self.dll_file()), self.staging_link))
out.write('\n')
if self.static:
if IS_WINDOWS: