From: utzoo!decvax!cca!HOLSTEGE@Cit-20@sri-unix
Newsgroups: net.unix-wizards
Title: Re:  Re:  C extensions
Article-I.D.: sri-unix.4251
Posted: Sat Nov 20 01:37:46 1982
Received: Sun Nov 21 02:08:42 1982

Date: 16 Nov 1982 1351-PST
The difference between #library and makefile is that you don't have to
have a makefile, and hence a special directory, for each one file program
that happens to require special library modules. Also, you only have to
maintain one file and there is less chance of them getting out of sync.

We have a utility here which reads the instructions for compiling a program
directly out of the source itself. For example, if a C program foo.c contains

/*
%  cc -O foo.c -lblech -o foo                                                  
%i strip foo
%i mv foo /usr/local
*/

then "xc foo.c" would execute "cc -O ...", and "xc -i foo.c" would 
"strip foo.c" and "mv ...". We are thinking of replacing /usr/src/cmd/MAKE
with this mechanism.

-------