Add sage_bootstrap.build

build/sage_bootstrap/build.py

@@ -0,0 +1,10 @@
+from __future__ import absolute_import
+
+def build(targets):
+    from sage_conf import SAGE_ROOT
+    from os import system
+    command = 'cd {} && make {}'.format(SAGE_ROOT, " ".join(targets))
+    print("Running {}".format(command))
+    retval = system(command)
+    if retval != 0:
+        raise RuntimeError("Failed with status {}".format(retval))

build/sage_root/bootstrap

@@ -0,0 +1,3 @@
+#! /usr/bin/env bash
+# This version of the bootstrap script does nothing.
+exit 0

build/sage_root/src/doc/bootstrap

@@ -0,0 +1,3 @@
+#! /usr/bin/env bash
+# This version of the src/doc/bootstrap script does nothing.
+exit 0