diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-23 13:17:40 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-23 13:17:40 +0200 |
commit | fd45c968a66b9808ed6b65455cafa596203a2237 (patch) | |
tree | 6a651f79661d15bf5cc370921a1a7fc5e73a77f2 /configure.ac | |
parent | e6f1ecfd88cb4e9a9e6a31b9161ffb48e36e9a44 (diff) |
guix: Use mumimu instead of mu.
* guix.scm (mumimu): New variable.
* configure.ac: Check for mumimu.
* mumi/config.scm.in (%config): Update placeholder for mu-executable.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 8b66861..a9ea6b2 100644 --- a/configure.ac +++ b/configure.ac @@ -31,7 +31,7 @@ if test "x$have_fibers" != "xyes"; then AC_MSG_ERROR([Guile fibers is missing; please install it.]) fi -AC_PATH_PROG([MU], [mu]) +AC_PATH_PROG([MUMIMU], [mumimu]) guilemoduledir="${datarootdir}/guile/site/${GUILE_EFFECTIVE_VERSION}" AC_SUBST([guilemoduledir]) |