aboutsummaryrefslogtreecommitdiff
path: root/skribe/Makefile
diff options
context:
space:
mode:
authorLudovic Court`es2005-06-15 13:00:39 +0000
committerLudovic Court`es2005-06-15 13:00:39 +0000
commitfc42fe56a57eace2dbdb31574c2e161f0eacf839 (patch)
tree18111570156cb0e3df0d81c8d104517a2263fd2c /skribe/Makefile
downloadskribilo-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/Makefile')
-rw-r--r--skribe/Makefile131
1 files changed, 131 insertions, 0 deletions
diff --git a/skribe/Makefile b/skribe/Makefile
new file mode 100644
index 0000000..918e91a
--- /dev/null
+++ b/skribe/Makefile
@@ -0,0 +1,131 @@
+#*=====================================================================*/
+#* serrano/prgm/project/skribe/Makefile */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Wed Jul 30 16:23:07 2003 */
+#* Last change : Fri May 21 16:37:53 2004 (serrano) */
+#* Copyright : 2003-04 Manuel Serrano */
+#* ------------------------------------------------------------- */
+#* The general Skribe makefile */
+#*=====================================================================*/
+include etc/Makefile.config
+
+#*---------------------------------------------------------------------*/
+#* DIRECTORIES */
+#*---------------------------------------------------------------------*/
+DIRECTORIES = skr \
+ doc \
+ examples \
+ src \
+ emacs \
+ etc \
+ tools
+
+POPULATIONDIRS = $(DIRECTORIES) \
+ contribs
+
+#*---------------------------------------------------------------------*/
+#* all */
+#*---------------------------------------------------------------------*/
+.PHONY: all
+
+all:
+ (cd src/$(SYSTEM) && $(MAKE))
+ (cd tools && $(MAKE))
+ (cd doc && $(MAKE))
+
+#*---------------------------------------------------------------------*/
+#* install */
+#*---------------------------------------------------------------------*/
+.PHONY: install uninstall
+
+install:
+ for d in $(DIRECTORIES); do \
+ (cd $$d && $(MAKE) install) || exit -1; \
+ done
+
+uninstall:
+ for d in $(DIRECTORIES); do \
+ (cd $$d && $(MAKE) uninstall) || exit -1; \
+ done
+
+#*---------------------------------------------------------------------*/
+#* revision */
+#*---------------------------------------------------------------------*/
+.PHONY: revision populate skribe.prj
+
+revision: populate checkin
+
+populate: skribe.prj
+ prcs populate skribe `$(MAKE) pop`
+
+checkin:
+ prcs checkin -r$(SKRIBERELEASE).@ skribe
+
+checkout:
+ @ prcs checkout -r$(SKRIBERELEASE).@ skribe
+
+skribe.prj:
+ @ cat skribe.prj | sed -e s,"(Populate-Ignore ())","(Populate-Ignore (\"\\\\\\\\\\.o\\$$\" \"\\\\\\\\\\~$$\" \"\\\\\\\\\\.log\\$$\" \"\\\\\\\\\\.ps\\$$\" \"\\\\\\\\\\.aux\\$$\" \"\\\\\\\\\\.date_of_backup\\$$\" \"\\\\\\\\\\.so\\$$\" \"\\\\\\\\\\.a\\$$\" \"if_not_there\\$$\" \"if_mach\\$$\" \"threadlibs\\$$\"))", > skribe.dprj; $(RM) -f skribe.prj; mv skribe.dprj skribe.prj
+
+#*---------------------------------------------------------------------*/
+#* population */
+#* ------------------------------------------------------------- */
+#* The list of all files that have to be placed inside the */
+#* repository for revision. */
+#*---------------------------------------------------------------------*/
+.PHONY: subpop popfilelist
+
+subpop:
+ @ for d in $(POPULATIONDIRS); do \
+ (cd $$d && $(MAKE) -s pop); \
+ done
+
+pop:
+ @ echo Makefile INSTALL LICENSE README README.java
+ @ echo configure
+ @ (for p in `$(MAKE) -s subpop`; do \
+ echo $$p; \
+ done) | sort
+
+#*---------------------------------------------------------------------*/
+#* distrib */
+#*---------------------------------------------------------------------*/
+.PHONY: distrib distrib-jvm distrib-src
+
+distrib:
+ $(MAKE) distrib -f etc/$(SYSTEM)/Makefile -I etc/$(SYSTEM)
+ (cd www && $(MAKE))
+
+distrib-jvm:
+ $(MAKE) distrib-jvm -f etc/$(SYSTEM)/Makefile -I etc/$(SYSTEM)
+
+distrib-src:
+ $(MAKE) distrib-src -f etc/$(SYSTEM)/Makefile -I etc/$(SYSTEM)
+
+#*---------------------------------------------------------------------*/
+#* clean/distclean */
+#*---------------------------------------------------------------------*/
+.PHONY: clean distclean
+ $(RM) -f etc/Makefile.config
+
+clean:
+ (cd src && $(MAKE) clean)
+ (cd doc && $(MAKE) clean)
+ (cd tools && $(MAKE) clean)
+ (cd etc && $(MAKE) clean)
+
+distclean: clean
+ (cd emacs && $(MAKE) distclean)
+ (cd etc && $(MAKE) distclean)
+
+#*---------------------------------------------------------------------*/
+#* devclean/devdistclean */
+#*---------------------------------------------------------------------*/
+.PHONY: devclean devdistclean
+
+devclean: clean
+ (cd www && $(MAKE) clean)
+
+devdistclean: devclean distclean
+