From: gdt <gdt@221aa14e-8319-0410-a670-987f0aec2ac5>
Date: Fri, 29 Feb 2008 19:42:11 +0000 (+0000)
Subject: Change prefix to /usr/local/gnuradio, believed acceptable on *BSD and
X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=1f1a5841eae5aa12f9fd814a73f22a63dbc2f15c;p=debian%2Fgnuradio

Change prefix to /usr/local/gnuradio, believed acceptable on *BSD and
Linux, based on discussion with jcorgan.

Explain purpose of script better, and increase warnings at beginning.


git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@7905 221aa14e-8319-0410-a670-987f0aec2ac5
---

diff --git a/README.components b/README.components
index 5d79f501..3d678def 100755
--- a/README.components
+++ b/README.components
@@ -4,24 +4,38 @@
 
 # Copyright 2008 Free Software Foundation.
 #
+# DO NOT RUN THIS SCRIPT UNTIL YOU UNDERSTAND IT!!!  IT WILL REMOVE
+# FILES ON YOUR SYSTEM.
+#
+# Read the script thoroughly before running it; it will *remove*
+# /usr/local/gnuradio and repopulate it.
+#
 # This script provides a way to build GNU Radio modules individually,
 # and both serves as an example of using the component build system
-# and provides a way to test that build system.  This script is
-# intended to be broadly portable; be careful when modifying not to
-# cause problems on systems that place dependencies in other than /usr
+# and provides a way to test the build system.  When run, it will
+# build and install each GNU Radio module in turn, using the
+# just-installed modules as prerequisites.  It places the output of
+# each build in a separate file BUILD.NNN.options, so that one can do
+# 'tail -f BUILD.*' to see which components were successfully built.
+
+# This script is intended to be broadly portable; be careful when
+# modifying not to cause problems on systems that place dependencies
+# in other than /usr
 #
 # Besides GNU Radio dependencies, this program requires sudo, with a
 # timer long enough to build each module (or no password requirement).
 #
-# Read the script thoroughly before running it; it will *remove*
-# /usr/gnuradio and repopulate it.
 
 set -x
 
 # Do not use /opt, because many systems do not have /opt and that
-# risks running out of space in /.  Probably this needs OS-specific
-# overrides.
-PREFIX=/usr/gnuradio
+# risks running out of space in /.  /usr/local/gnuradio is believed to
+# be reasonable on all of *BSD and GNU/Linux.  Probably this needs
+# OS-specific overrides.
+PREFIX=/usr/local/gnuradio
+
+echo "ABOUT TO COMPLETELY REMOVE $PREFIX in 10 SECONDS!"
+sleep 10
 
 echo -n "README.components START "; date