diff --git a/WEGA/contrib/ingres/dbs/src/lib/Makefile b/WEGA/contrib/ingres/dbs/src/lib/Makefile new file mode 100644 index 0000000..72c75ae --- /dev/null +++ b/WEGA/contrib/ingres/dbs/src/lib/Makefile @@ -0,0 +1,25 @@ +HOME= /z/dbs/src/lib +SHELL= /bin/sh +DISK= /dev/dbs +RM= rm -f + +SRC= a.a amx_cc.a dbu.a decomp.a \ + eql.a g.a i.a qrymod.a \ + monitor.a ovqp.a parser.a \ + pqr.a rc.a rg.a + +clean: + $(RM) $(SRC) + +.save: Makefile $(SRC) + mount $(DISK) /wrk + cp $? $@ /wrk/lib + > $@ + umount $(DISK) + +$(HOME)/.save: Makefile $(SRC) + cp $? $(HOME) + > $@ + +.PRECIOUS: .save +.PRECIOUS: $(HOME)/.save