diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-02-07 14:53:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-02-07 14:53:24 +0100 |
| commit | d480ed7edb7ad787829fd8220c86220ca34ce8ac (patch) | |
| tree | 337de03963937bab33d75176a622cb7b21c1a57d /configure.ac | |
| parent | 328f7cbe435d79d61f57129d9e3ee90404d6bfda (diff) | |
build: Warn about lack of substitutes for non-standard stores.
* configure.ac: Emit a warning when $storedir is not "/gnu/store".
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 9079a142dc..06b0618b43 100644 --- a/configure.ac +++ b/configure.ac @@ -236,6 +236,15 @@ dnl Emacs (optional), for 'etc/indent-package.el'. AC_PATH_PROG([EMACS], [emacs], [/usr/bin/emacs]) AC_SUBST([EMACS]) +case "$storedir" in + /gnu/store) + ;; + *) + AC_MSG_WARN([Using a store directory other than '/gnu/store' will prevent you]) + AC_MSG_WARN([from downloading substitutes from gnu.org.]) + ;; +esac + AC_CONFIG_FILES([Makefile po/guix/Makefile.in po/packages/Makefile.in |