build: configure: Oops, substitute @prefix@.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 9 Aug 2018 06:58:20 +0000 (08:58 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 9 Aug 2018 06:58:20 +0000 (08:58 +0200)
* build-aux/pre-inst-env.in (MES_PREFIX): Respect pre-set value.
* configure (main): Oops, substitute @prefix@.
* configure.sh (subst): Likewise.

build-aux/pre-inst-env.in
configure
configure.sh

index 529d00d99cf6198f6d7779d8be28b566bfaf86fe..ed41822d4b32a720b2b97a7d4e6e0a840476b4ff 100644 (file)
@@ -23,7 +23,7 @@ abs_top_srcdir="@abs_top_srcdir@"
 abs_top_builddir="@abs_top_builddir@"
 prefix=${prefix-@prefix@}
 
-MES_PREFIX=${srcdest}mes
+MES_PREFIX=${MES_PREFIX-${srcdest}mes}
 export MES_PREFIX
 
 GUILE_LOAD_COMPILED_PATH="$abs_top_builddir/module${GUILE_LOAD_COMPILED_PATH:+:}$GUILE_LOAD_COMPILED_PATH"
index 408e99a45a1a06eff668601c84943fd135da1d2f..2e9ba9e5c092ad7be3616b789fc88b7132db731f 100755 (executable)
--- a/configure
+++ b/configure
@@ -471,6 +471,7 @@ Some influential environment variables:
                      ("@BASH@" . ,(file-name "bash" deps))
                      ("@GUILE@" . ,(file-name "guile" deps))
                      ("@MES@" . ,(file-name "guile" deps))
+                     ("@prefix@" . ,prefix)
                      ("@guile_site_dir@" . ,guile-site-dir)
                      ("@guile_site_ccache_dir@" . ,guile-site-ccache-dir)
                      ("@VERSION@" . ,VERSION)
index a6d4e87482dc23a9f9739db95d31d6fd5119a376..76d44cdcffb90cd4d891340abf102078114225e0 100755 (executable)
@@ -69,6 +69,7 @@ subst () {
     -e s,"@top_builddir@,$top_builddir,"\
     -e s,"@BASH@,$BASH,"\
     -e s,"@GUILE@,$GUILE,"\
+    -e s,"@prefix@,$prefix,"\
     -e s,"@guile_site_dir@,$guile_site_dir,"\
     -e s,"@guile_site_ccache_dir@,$guile_site_ccache_dir,"\
     -e s,"@VERSION@,$VERSION,"\