diff options
Diffstat (limited to 'skribe/src/Makefile')
| -rw-r--r-- | skribe/src/Makefile | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/skribe/src/Makefile b/skribe/src/Makefile new file mode 100644 index 0000000..09e96d5 --- /dev/null +++ b/skribe/src/Makefile @@ -0,0 +1,41 @@ +#*=====================================================================*/ +#* serrano/prgm/project/skribe/src/Makefile */ +#* ------------------------------------------------------------- */ +#* Author : Manuel Serrano */ +#* Creation : Sat Oct 25 08:15:57 2003 */ +#* Last change : Mon Jan 5 09:55:27 2004 (serrano) */ +#* Copyright : 2003-04 Manuel Serrano */ +#* ------------------------------------------------------------- */ +#* The meta Makefile for the sources */ +#*=====================================================================*/ +include ../etc/Makefile.config + +#*---------------------------------------------------------------------*/ +#* pop */ +#*---------------------------------------------------------------------*/ +.PHONY: pop + +pop: + @ echo src/Makefile + @ (cd bigloo && $(MAKE) pop) + @ (cd stklos && $(MAKE) pop) + +#*---------------------------------------------------------------------*/ +#* Install/Uinstall */ +#*---------------------------------------------------------------------*/ +.PHONY: install uninstall + +install: + (cd $(SYSTEM) && $(MAKE) install) + +uninstall: + (cd $(SYSTEM) && $(MAKE) uninstall) + +#*---------------------------------------------------------------------*/ +#* clean */ +#*---------------------------------------------------------------------*/ +.PHONY: clean + +clean: + (cd $(SYSTEM) && $(MAKE) clean) + |