mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 11:25:51 +00:00
Code Activity

Fix bug in `ExeComponent.mk_uninstall()` in the build system

Browse source 
which would try to uninstall components that were never installed.

This bug would cause the following line to be emitted in the
``Makefile`` under the ``uninstall`` rule even though there was
no corresponding rule to install the file under the ``install`` rule.

```
@rm -f $(DESTDIR)$(PREFIX)/bin/test-z3$(EXE_EXT)
```
This commit is contained in:
Dan Liew 2015-11-25 11:02:59 +00:00
parent 041c02feb7
commit d6fa0583ab
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/mk_util.py
View file

@ -1094,8 +1094,9 @@ class ExeComponent(Component):
MakeRuleCmd.install_files(out, exefile, os.path.join('bin', exefile))
def mk_uninstall(self, out):
exefile = '%s$(EXE_EXT)' % self.exe_name
MakeRuleCmd.remove_installed_files(out, os.path.join('bin', exefile))
if self.install:
exefile = '%s$(EXE_EXT)' % self.exe_name
MakeRuleCmd.remove_installed_files(out, os.path.join('bin', exefile))
def mk_win_dist(self, build_path, dist_path):
if self.install: