From b8bf7a7678ab39aaa8463b1556e91170b41e486b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 24 Jun 2006 10:52:55 +0000 Subject: [PATCH] use $bindir and $libdir instead of $prefix/... svn: r3465 --- src/Makefile.in | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/Makefile.in b/src/Makefile.in index 1b63e6a90f..95e19be198 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -37,8 +37,7 @@ install: $(MAKE) setup-plt install-normal: - mkdir -p $(ALLDIRINFO) - if [ ! -d $(prefix) ] ; then mkdir $(prefix) ; fi + mkdir -p $(prefix) $(ALLDIRINFO) $(MAKE) mzinstall $(MAKE) mredinstall-stub $(MAKE) copytree-stub @@ -49,7 +48,7 @@ copytree-stub: @MAKE_COPYTREE@ mredinstall-stub: @MAKE_MREDINSTALL@ setup-plt: - $(prefix)/bin/mzscheme -mvqM setup + $(bindir)/mzscheme -mvqM setup plain-install-3m: $(MAKE) install-normal @@ -94,7 +93,7 @@ mrinstall3m: cd mred; $(MAKE) install-3m lib-finish: - @LIBFINISH@ "$(prefix)/lib" + @LIBFINISH@ "$(libdir)" copytree: mzscheme/mzscheme -mvxqu \