1f42e66ba176a5f1fe261faeeedd56b0 R-destdir.patch

Changed files:
    R-destdir.patch -> 1.1

diff --git a/R-destdir.patch b/R-destdir.patch
new file mode 100644 (file)
index 0000000..7101c7f
--- /dev/null
+++ b/R-destdir.patch
@@ -0,0 +1,11 @@
+--- src/scripts/Makefile.in.orig       Thu Nov  1 17:52:19 2001
++++ src/scripts/Makefile.in    Thu Nov  1 17:53:08 2001
+@@ -54,7 +54,7 @@
+       @(v=`cat $(top_srcdir)/VERSION`; \
+         v="$${v} (`sed 's|/|-|g' $(top_srcdir)/date-stamp`)"; \
+         y=`cut -d/ -f1 < $(top_srcdir)/date-stamp`; \
+-        sed "s@R_HOME_DIR=.*@R_HOME_DIR=`cd $(top_builddir); pwd`@; \
++        sed "s@R_HOME_DIR=.*@R_HOME_DIR=$(rhome)@; \
+              s@REPLACE_BY_VERSION@$${v}@; \
+              s@REPLACE_BY_YEAR@$${y}@" < R.sh > $@)
+       @chmod +x $@