mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-09 23:53:25 +00:00
Code Activity

Fix dead comment and expand on the reasons for making a symbolic link

Browse source 
slightly.
This commit is contained in:
Dan Liew 2015-11-25 16:00:35 +00:00
parent 684318149b
commit 32c4384d48
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
scripts/mk_util.py
View file

@ -1245,9 +1245,9 @@ class DLLComponent(Component):
MakeRuleCmd.install_files(out, dllfile, os.path.join(pythonPkgDirWithoutPrefix, dllfile)) MakeRuleCmd.install_files(out, dllfile, os.path.join(pythonPkgDirWithoutPrefix, dllfile))
else: else:
# Create symbolic link to save space. # Create symbolic link to save space.
# Compute the relative path from the python package directory # It's important that this symbolic link be relative (rather
# to libz3. It's important that this symlink be relative # than absolute) so that the install is relocatable (needed for
# (rather than absolute) so that the install is relocatable. # staged installs that use DESTDIR).
MakeRuleCmd.create_relative_symbolic_link(out, dllInstallPath, os.path.join(pythonPkgDirWithoutPrefix, dllfile)) MakeRuleCmd.create_relative_symbolic_link(out, dllInstallPath, os.path.join(pythonPkgDirWithoutPrefix, dllfile))
if self.static: if self.static:
libfile = '%s$(LIB_EXT)' % self.dll_name libfile = '%s$(LIB_EXT)' % self.dll_name