diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-21 12:30:44 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-21 13:11:39 +0200 |
| commit | 64bf6d70099c59ea442bf1641caaab8ad03ce9cd (patch) | |
| tree | 7704da71442805deb0c0657fcee36c938d324a86 /configure.ac | |
| parent | caa127d37e9e682a461b0d628b58eb80e074c792 (diff) | |
scripts: Regularly index the mail directory.
* configure.ac: Detect mu.
* guix.scm: Add "mu" to the environment.
* mumi/config.scm.in (%config)[mu-executable]: Add it.
* scripts/mumi.in: Spawn "mu index" regularly.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index f24c741..8b66861 100644 --- a/configure.ac +++ b/configure.ac @@ -31,6 +31,8 @@ if test "x$have_fibers" != "xyes"; then AC_MSG_ERROR([Guile fibers is missing; please install it.]) fi +AC_PATH_PROG([MU], [mu]) + guilemoduledir="${datarootdir}/guile/site/${GUILE_EFFECTIVE_VERSION}" AC_SUBST([guilemoduledir]) AC_SUBST([GUILE_EFFECTIVE_VERSION]) |