Add make command first version

[tools/sat.git] / src / compilation.py

diff --git a/src/compilation.py b/src/compilation.py
index 12ee8e94e5d7f206fe9136758926e1496f9373bd..f08d171e98ee4badefa6c950343021515ccc8205 100644 (file)
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -229,20 +229,12 @@ CC=\\"hack_libtool\\"%g" libtool'''
 
     ##
     # Runs make to build the module.
-    def make(self, opt_nb_proc = None):
-        nbproc = self.get_nb_proc(opt_nb_proc)
-
-        hh = 'MAKE -j%s' % str(nbproc)
-        if self.debug_mode:
-            hh += " " + src.printcolors.printcWarning("DEBUG")
-        self.log_step(hh)
+    def make(self, nb_proc, make_opt):
 
         # make
         command = 'make'
-        if self.options.makeflags:
-            command = command + " " + self.options.makeflags
-        command = command + " -j" + str(nbproc)
-
+        command = command + " -j" + str(nb_proc)
+        command = command + " " + make_opt
         self.log_command(command)
         res = subprocess.call(command,
                               shell=True,