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

fix build break - remove tabs

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-12-06 22:17:36 -08:00
parent 4944035c0a
commit 70b10d53cf
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
scripts/mk_util.py
View file

@ -411,10 +411,10 @@ def check_dotnet():
monoCompilerExecutable = CSC monoCompilerExecutable = CSC
monoCompilerPath = which(monoCompilerExecutable) monoCompilerPath = which(monoCompilerExecutable)
if monoCompilerPath == None: if monoCompilerPath == None:
disable_dotnet() disable_dotnet()
print(("Could not find mono compiler ({}) in your PATH. Not building .NET bindings").format( print(("Could not find mono compiler ({}) in your PATH. Not building .NET bindings").format(
monoCompilerExecutable)) monoCompilerExecutable))
return return
CSC = monoCompilerPath CSC = monoCompilerPath
# Check for gacutil (needed to install the dotnet bindings) # Check for gacutil (needed to install the dotnet bindings)
@ -1300,7 +1300,7 @@ class DLLComponent(Component):
dllfile = '%s$(SO_EXT)' % self.dll_name dllfile = '%s$(SO_EXT)' % self.dll_name
dllInstallPath = os.path.join(INSTALL_LIB_DIR, dllfile) dllInstallPath = os.path.join(INSTALL_LIB_DIR, dllfile)
MakeRuleCmd.install_files(out, dllfile, dllInstallPath) MakeRuleCmd.install_files(out, dllfile, dllInstallPath)
if not is_python_install_enabled(): if not is_python_install_enabled():
return return
pythonPkgDirWithoutPrefix = strip_path_prefix(PYTHON_PACKAGE_DIR, PREFIX) pythonPkgDirWithoutPrefix = strip_path_prefix(PYTHON_PACKAGE_DIR, PREFIX)
if IS_WINDOWS: if IS_WINDOWS: