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

Remove dead code that I accidently left behind.

Browse source
This commit is contained in:
Dan Liew 2015-11-25 11:31:49 +00:00
parent 6984070b3a
commit 684318149b
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
scripts/mk_util.py
View file

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