From 8006b6f9d6a2b531f067b42d416f00d591d63aaf Mon Sep 17 00:00:00 2001
From: Matthias Koeppe <mkoeppe@math.ucdavis.edu>
Date: Thu, 2 Jul 2020 23:13:04 -0700
Subject: [PATCH] Add sage_bootstrap.build

---
 build/sage_bootstrap/build.py     | 10 ++++++++++
 build/sage_root/bootstrap         |  3 +++
 build/sage_root/src/doc/bootstrap |  3 +++
 3 files changed, 16 insertions(+)
 create mode 100644 build/sage_bootstrap/build.py
 create mode 100755 build/sage_root/bootstrap
 create mode 100755 build/sage_root/src/doc/bootstrap

diff --git a/build/sage_bootstrap/build.py b/build/sage_bootstrap/build.py
new file mode 100644
index 00000000000..d44781982d4
--- /dev/null
+++ b/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))
diff --git a/build/sage_root/bootstrap b/build/sage_root/bootstrap
new file mode 100755
index 00000000000..38df9dbea8a
--- /dev/null
+++ b/build/sage_root/bootstrap
@@ -0,0 +1,3 @@
+#! /usr/bin/env bash
+# This version of the bootstrap script does nothing.
+exit 0
diff --git a/build/sage_root/src/doc/bootstrap b/build/sage_root/src/doc/bootstrap
new file mode 100755
index 00000000000..2a2bb398b9a
--- /dev/null
+++ b/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