diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 5563c29a3..cd1dd9bd1 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1248,7 +1248,6 @@ class DLLComponent(Component): # 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. - dllInstallPathAbs = os.path.join(PREFIX, dllInstallPath) MakeRuleCmd.create_relative_symbolic_link(out, dllInstallPath, os.path.join(pythonPkgDirWithoutPrefix, dllfile)) if self.static: libfile = '%s$(LIB_EXT)' % self.dll_name