From 32c4384d4834c56f532386d2b133a92b57acd072 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 25 Nov 2015 16:00:35 +0000 Subject: [PATCH] Fix dead comment and expand on the reasons for making a symbolic link slightly. --- scripts/mk_util.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index cd1dd9bd1..fd8c713d4 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1245,9 +1245,9 @@ class DLLComponent(Component): MakeRuleCmd.install_files(out, dllfile, os.path.join(pythonPkgDirWithoutPrefix, dllfile)) else: # Create symbolic link to save space. - # Compute the relative path from the python package directory - # to libz3. It's important that this symlink be relative - # (rather than absolute) so that the install is relocatable. + # It's important that this symbolic link be relative (rather + # than absolute) so that the install is relocatable (needed for + # staged installs that use DESTDIR). MakeRuleCmd.create_relative_symbolic_link(out, dllInstallPath, os.path.join(pythonPkgDirWithoutPrefix, dllfile)) if self.static: libfile = '%s$(LIB_EXT)' % self.dll_name