From 6808c37141b1acd3446e474284c8af2837d6c0c2 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 13 Sep 2024 19:37:54 -0400
Subject: [PATCH] configure.ac: add --disable-sagetex option

SageTeX is a standard package, but it isn't used anywhere else in the
sage library or even in the sage distribution. If you know you don't
need it, the new --disable-sagetex option lets you avoid downloading
and installing it.
---
 configure.ac | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/configure.ac b/configure.ac
index 58adf54f78f..bdceaa70525 100644
--- a/configure.ac
+++ b/configure.ac
@@ -463,6 +463,12 @@ AC_ARG_ENABLE([r],
     done
   ])
 
+AC_ARG_ENABLE([sagetex],
+  AS_HELP_STRING([--disable-sagetex],
+                 [don't build SageTeX]), [
+    AS_VAR_SET([SAGE_ENABLE_sagetex], [$enableval])
+  ])
+
 AC_ARG_ENABLE([doc],
   AS_HELP_STRING([--disable-doc],
                  [disable build of the Sage documentation and packages depending on it]), [