aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorK. Richard Pixley <rich@cygnus>1991-10-02 06:29:53 +0000
committerK. Richard Pixley <rich@cygnus>1991-10-02 06:29:53 +0000
commit7875b07ffaf83c2eef9a8021272e171e8f399a6f (patch)
treeb70bb6bcb4e35db21b32bfb7abbd90c034c661d1 /configure
parent6f8ac2d9fb05b98a792913904e6a6b0479434168 (diff)
downloadgdb-7875b07ffaf83c2eef9a8021272e171e8f399a6f.zip
gdb-7875b07ffaf83c2eef9a8021272e171e8f399a6f.tar.gz
gdb-7875b07ffaf83c2eef9a8021272e171e8f399a6f.tar.bz2
Added +site=foo option for naming site specific Makefile fragments.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure42
1 files changed, 34 insertions, 8 deletions
diff --git a/configure b/configure
index 1591b10..4e92508 100755
--- a/configure
+++ b/configure
@@ -107,10 +107,12 @@ do
-rm | +rm)
removing=${arg}
;;
-# -srcdir=* | +srcdir=* | +srcdi=* | +srcd=* | +src=* | +sr=* | +s=*)
+ -site=* | +site=* | +sit=* | +si=*)
+ site=`echo ${arg} | sed 's/[+-]s[a-z]*=//'`
+ ;;
+# -srcdir=* | +srcdir=* | +srcdi=* | +srcd=* | +src=* | +sr=*)
# srcdir=`echo ${arg} | sed 's/[+-]s[a-z]*=//'`
# ;;
-
-subdirs | +su*)
subdirs=${arg}
;;
@@ -422,6 +424,17 @@ for host in ${hosts} ; do
mv Makefile.tem ${Makefile}
fi
+ # Conditionalize the makefile for this site.
+ if [ -n "${site}" ] ; then
+ site_makefile_frag=smake-${site}
+
+ if [ -f ${srcdir}/${site_makefile_frag} ] ; then
+ (echo "site_makefile_frag = ${srcdir}/${site_makefile_frag}" ;
+ sed -e "/^####/ r ${srcdir}/${target_makefile_frag}" ${Makefile}) > Makefile.tem
+ mv Makefile.tem ${Makefile}
+ fi
+ fi
+
# set srcdir
sed "s@^srcdir = \.@srcdir = ${srcdir}@" ${Makefile} > Makefile.tem
mv Makefile.tem ${Makefile}
@@ -440,15 +453,15 @@ for host in ${hosts} ; do
sed "s:^NONSUBDIRS =.*$:NONSUBDIRS = ${noconfigdirs}:" ${Makefile} > Makefile.tem
mv Makefile.tem ${Makefile}
+ # remove any form feeds.
+ sed -e "s/ //" ${Makefile} > Makefile.tem
+ mv Makefile.tem ${Makefile}
+
using=
if [ -f ${srcdir}/${host_makefile_frag} ] ; then
using=" using \"${host_makefile_frag}\""
fi
- # remove any form feeds.
- sed -e "s/ //" ${Makefile} > Makefile.tem
- mv Makefile.tem ${Makefile}
-
if [ -f ${srcdir}/${target_makefile_frag} ] ; then
if [ -z "${using}" ] ; then
andusing=" using \"${target_makefile_frag}\""
@@ -459,8 +472,18 @@ for host in ${hosts} ; do
andusing=${using}
fi
+ if [ -f ${srcdir}/${site_makefile_frag} ] ; then
+ if [ -z "${andusing}" ] ; then
+ andandusing=" using \"${site_makefile_frag}\""
+ else
+ andandusing="${andusing} and \"${site_makefile_frag}\""
+ fi
+ else
+ andandusing=${using}
+ fi
+
if [ -n "${verbose}" -o -z "${recurring}" ] ; then
- echo "Created \"${Makefile}\"" in `pwd`${andusing}.
+ echo "Created \"${Makefile}\"" in `pwd`${andandusing}.
fi
if [ -f ./configure.pos ] ; then
@@ -528,7 +551,10 @@ exit 0
#
#
# $Log$
-# Revision 1.45 1991/10/02 06:15:13 rich
+# Revision 1.46 1991/10/02 06:29:53 rich
+# Added +site=foo option for naming site specific Makefile fragments.
+#
+# Revision 1.45 1991/10/02 06:15:13 rich
# Removed +f option. Used to stand for +forcesubdirs which is now
# called +subdirs.
#