From 8619b2928acb518db7056933fa68ff6f2ff4ac64 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Wed, 11 May 2022 15:46:54 -0700 Subject: [PATCH] configure.ac: Make --enable-editable the default --- configure.ac | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index 09f694d0575..4ab080c6115 100644 --- a/configure.ac +++ b/configure.ac @@ -127,8 +127,9 @@ AC_ARG_ENABLE([debug], AC_ARG_VAR(SAGE_DEBUG, controls debugging support: "no" debugging; debugging "symbols" (default); build debug version ("yes")) AC_ARG_ENABLE([editable], - [AS_HELP_STRING([--enable-editable], - [use an editable install of the Sage library])], + [AS_HELP_STRING([--disable-editable], + [do not use an editable install of the Sage library: changes to Python files will require "sage -b" to rebuild the Sage library])], + [AC_SUBST([SAGE_EDITABLE], [$enableval])], [AC_SUBST([SAGE_EDITABLE], [yes])]) # Check whether we are on a supported platform