1994-04-29 22:06:43 +00:00
|
|
|
|
# -sed1.inp-------------------------------------------------------------
|
1994-04-30 20:28:10 +00:00
|
|
|
|
# Configuration script for src/makefile
|
1994-04-29 22:06:43 +00:00
|
|
|
|
# ----------------------------------------------------------------------
|
1996-04-17 18:37:18 +00:00
|
|
|
|
#
|
|
|
|
|
# In case src/Makefile needs to rebuild `make-doc.exe' (might happen under
|
1996-08-05 21:28:14 +00:00
|
|
|
|
# Windows 95), make sure it gets built with commands that DOS
|
1996-04-17 18:37:18 +00:00
|
|
|
|
# understands (one command per line).
|
1994-04-29 22:06:43 +00:00
|
|
|
|
s/^#.*//
|
|
|
|
|
s/^[ \f\t][ \f\t]*$//
|
|
|
|
|
s/^ / /
|
|
|
|
|
s/\.h\.in/.h-in/
|
|
|
|
|
s!^ \./temacs! go32 temacs!
|
|
|
|
|
s!/bin/sh!command.com!
|
|
|
|
|
/^MAKE *=/s/^/# /
|
|
|
|
|
/^SHELL *=/s/^/# /
|
1994-05-16 19:29:04 +00:00
|
|
|
|
/^srcdir *=/s/@[^@\n]*@/./
|
|
|
|
|
/^VPATH *=/s/@[^@\n]*@/./
|
|
|
|
|
/^CC *=/s/@[^@\n]*@/gcc/
|
|
|
|
|
/^CPP *=/s/@[^@\n]*@/gcc -e/
|
|
|
|
|
/^CFLAGS *=/s/@[^@\n]*@/-O2 -g/
|
|
|
|
|
/^LN_S *=/s/@[^@\n]*@/ln -s/
|
1994-07-11 05:08:52 +00:00
|
|
|
|
/^M_FILE *=/s!@[^@\n]*@!m/intel386.h!
|
1994-05-16 19:29:04 +00:00
|
|
|
|
/^S_FILE *=/s!@[^@\n]*@!s/msdos.h!
|
1994-04-29 22:06:43 +00:00
|
|
|
|
/^@SET_MAKE@$/s/@SET_MAKE@//
|
1995-10-11 14:44:16 +00:00
|
|
|
|
/^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC!
|
1994-04-29 22:06:43 +00:00
|
|
|
|
/^.\${libsrc}make-doc/s!>.*$!!
|
1996-04-17 18:37:18 +00:00
|
|
|
|
/^\${libsrc}make-docfile:/c\
|
|
|
|
|
${libsrc}make-doc.exe:\
|
|
|
|
|
cd ..\
|
|
|
|
|
cd lib-src\
|
|
|
|
|
$(MAKE) ${MFLAGS} make-docfile -W make-docfile.c\
|
|
|
|
|
cd ..\
|
|
|
|
|
cd src
|
|
|
|
|
/^ cd \${libsrc}; \${MAKE} \${MFLAGS} make-docfile/d
|
|
|
|
|
/\${libsrc}make-docfile/s/-docfile[ ]/-doc.exe /
|
1994-04-29 22:06:43 +00:00
|
|
|
|
/^[ ]*$/d
|
1994-10-17 08:42:36 +00:00
|
|
|
|
/^temacs:/s/prefix-args//
|
1997-07-13 20:49:06 +00:00
|
|
|
|
/^temacs:/s/stamp-oldxmenu//
|
1994-10-17 08:42:36 +00:00
|
|
|
|
/^ #/d
|