From 1a4c87bafe4bd1e62bfc0353f0be3486efd837c1 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Sat, 24 Nov 2012 16:40:08 +0000
Subject: Properly distinguish between prefix and install dir

---
(limited to 'devbot/build.py')

diff --git a/devbot/build.py b/devbot/build.py
index d6f42fb..ca0bc07 100644
--- a/devbot/build.py
+++ b/devbot/build.py
@@ -83,7 +83,7 @@ def build_autotools(module):
     jobs = multiprocessing.cpu_count() * 2
 
     args = [autogen,
-            "--prefix", config.install_dir,
+            "--prefix", config.prefix_dir,
             "--libdir", config.lib_dir]
     args.extend(module.options)
 
@@ -95,7 +95,7 @@ def build_autotools(module):
     unlink_libtool_files()
 
 def build_activity(module):
-    command.run(["./setup.py", "install", "--prefix", config.install_dir])
+    command.run(["./setup.py", "install", "--prefix", config.prefix_dir])
 
 def build_module(module):
     module_source_dir = module.get_source_dir()
@@ -159,6 +159,7 @@ def build():
 
 def clean():
     rmtree(config.install_dir)
+    rmtree(config.prefix_dir)
     rmtree(config.build_dir)
 
     for module in config.load_modules():
--
cgit v0.9.1