diff options
| author | Ludovic Court`es | 2005-06-15 13:00:39 +0000 |
|---|---|---|
| committer | Ludovic Court`es | 2005-06-15 13:00:39 +0000 |
| commit | fc42fe56a57eace2dbdb31574c2e161f0eacf839 (patch) | |
| tree | 18111570156cb0e3df0d81c8d104517a2263fd2c /skribe/tools/Makefile | |
| download | skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.tar.gz skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.tar.lz skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.zip | |
Initial import of Skribe 1.2d.
Initial import of Skribe 1.2d.
git-archimport-id: lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--base-0
Diffstat (limited to 'skribe/tools/Makefile')
| -rw-r--r-- | skribe/tools/Makefile | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/skribe/tools/Makefile b/skribe/tools/Makefile new file mode 100644 index 0000000..200db45 --- /dev/null +++ b/skribe/tools/Makefile @@ -0,0 +1,60 @@ +#*=====================================================================*/ +#* serrano/prgm/project/skribe/tools/Makefile */ +#* ------------------------------------------------------------- */ +#* Author : Manuel Serrano */ +#* Creation : Wed Jul 30 16:23:07 2003 */ +#* Last change : Tue Oct 26 19:36:26 2004 (eg) */ +#* Copyright : 2003-04 Manuel Serrano */ +#* ------------------------------------------------------------- */ +#* The Skribe Tools general makefile */ +#*=====================================================================*/ +include ../etc/Makefile.config + +TOOLS= skribebibtex + +#*---------------------------------------------------------------------*/ +#* all */ +#*---------------------------------------------------------------------*/ +.PHONY: all + +all: + for p in $(TOOLS); do \ + (cd $$p/$(SYSTEM) && $(MAKE)) || exit -1; \ + done + +#*---------------------------------------------------------------------*/ +#* pop */ +#*---------------------------------------------------------------------*/ +.PHONY: pop + +pop: + @ for p in $(TOOLS); do \ + (cd $$p/bigloo && $(MAKE) pop); \ + (cd $$p/stklos && $(MAKE) pop); \ + done + @ echo tools/Makefile + +#*---------------------------------------------------------------------*/ +#* pop */ +#*---------------------------------------------------------------------*/ +.PHONY: install uninstall + +install: + @ for p in $(TOOLS); do \ + (cd $$p/$(SYSTEM) && $(MAKE) install) || exit -1; \ + done +uninstall: + @ for p in $(TOOLS); do \ + (cd $$p/$(SYSTEM) && $(MAKE) uninstall) || exit -1; \ + done + +#*---------------------------------------------------------------------*/ +#* clean */ +#*---------------------------------------------------------------------*/ +.PHONY: clean + +clean: + for p in $(TOOLS); do \ + (cd $$p/$(SYSTEM) && $(MAKE) clean); \ + done + |