From fc42fe56a57eace2dbdb31574c2e161f0eacf839 Mon Sep 17 00:00:00 2001 From: Ludovic Court`es Date: Wed, 15 Jun 2005 13:00:39 +0000 Subject: 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 --- etc/bigloo/Makefile | 114 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 114 insertions(+) create mode 100644 etc/bigloo/Makefile (limited to 'etc/bigloo/Makefile') diff --git a/etc/bigloo/Makefile b/etc/bigloo/Makefile new file mode 100644 index 0000000..82ffceb --- /dev/null +++ b/etc/bigloo/Makefile @@ -0,0 +1,114 @@ +#*=====================================================================*/ +#* serrano/prgm/project/skribe/etc/bigloo/Makefile */ +#* ------------------------------------------------------------- */ +#* Author : Manuel Serrano */ +#* Creation : Thu Oct 23 08:58:55 2003 */ +#* Last change : Wed Nov 17 10:51:50 2004 (serrano) */ +#* Copyright : 2003-04 Manuel Serrano */ +#* ------------------------------------------------------------- */ +#* The Bigloo etc Makefile */ +#*=====================================================================*/ +include Makefile.skb +include ../Makefile.config + +#*---------------------------------------------------------------------*/ +#* TMPDIR */ +#*---------------------------------------------------------------------*/ +DISTRIBTMPDIR = /tmp +DISTRIBDIR = $$HOME/prgm/distrib + +#*---------------------------------------------------------------------*/ +#* POPULATION */ +#*---------------------------------------------------------------------*/ +POPULATION = configure Makefile Makefile.tpl + +#*---------------------------------------------------------------------*/ +#* distrib */ +#* ------------------------------------------------------------- */ +#* This rule must be executed in the main SKribe directory */ +#* (i.e. ../..). They must be run with a command such as: */ +#* "cd skribe; make -f etc/bigloo/Makefile distrib". */ +#*---------------------------------------------------------------------*/ +.PHONY: distrib distrib-src distrib-jvm + +distrib: distrib-src # distrib-jvm + +#*--- distrib-src -----------------------------------------------------*/ +distrib-src: + @ echo ">>> distrib-src"; \ + (skribedir=`pwd` \ + && /bin/rm -rf $(DISTRIBTMPDIR)/skribe \ + && mkdir -p $(DISTRIBTMPDIR)/skribe \ + && cd $(DISTRIBTMPDIR)/skribe \ + && $(MAKE) -f $$skribedir/Makefile -I $$skribedir checkout \ + && /bin/rm -rf contribs \ + && $(MAKE) -f $$skribedir/etc/bigloo/Makefile -I $$skribedir/etc/bigloo do-distrib-src \ + && $(RM) -rf $(DISTRIBTMPDIR)/skribe$(SKRIBERELEASE)) + +.PHONY: do-distrib-src +do-distrib-src: + (cd .. && \ + mv skribe skribe$(SKRIBERELEASE) && \ + tar cvfz $(DISTRIBDIR)/skribe$(SKRIBERELEASE).tar.gz skribe$(SKRIBERELEASE)) + +#*--- distrib-jvm -----------------------------------------------------*/ +distrib-jvm: + @ echo ">>> distrib-jvm"; \ + (skribedir=`pwd` \ + && /bin/rm -rf $(DISTRIBTMPDIR)/skribe \ + && mkdir -p $(DISTRIBTMPDIR)/skribe \ + && cd $(DISTRIBTMPDIR)/skribe \ + && $(MAKE) -f $$skribedir/Makefile -I $$skribedir checkout \ + && /bin/rm -rf contribs \ + && $(MAKE) -f $$skribedir/etc/bigloo/Makefile -I $$skribedir/etc/bigloo do-distrib-jvm \ + && $(RM) -rf $(DISTRIBTMPDIR)/skribe) + +.PHONY: do-distrib-jvm +do-distrib-jvm: lib bin lib/bigloo_s.zip + $(RM) -f $(DISTRIBDIR)/skribe$(SKRIBERELEASE).zip + (./configure --with-bigloo --jvm \ + && $(MAKE) \ + && cd .. \ + && zip -qr $(ZFLAGS) $(DISTRIBDIR)/skribe$(SKRIBERELEASE).zip \ + skribe \ + -x "*~" \ + -x "*/bin/*-bigloo" \ + -x "*.class" \ + -x "*.o") + +#*--- bigloo_s.zip ----------------------------------------------------*/ +lib/bigloo_s.zip: lib + cp $(FILDIR)/bigloo_s.zip $@ + +#*--- lib -------------------------------------------------------------*/ +lib: + mkdir -p lib + +#*--- bin -------------------------------------------------------------*/ +bin: + mkdir -p bin + +#*---------------------------------------------------------------------*/ +#* pop */ +#*---------------------------------------------------------------------*/ +.PHONY: pop + +pop: + @ echo $(POPULATION:%=etc/bigloo/%) + @ (cd autoconf && $(MAKE) -s pop) + +#*---------------------------------------------------------------------*/ +#* clean */ +#*---------------------------------------------------------------------*/ +.PHONY: clean distclean + +clean: + /bin/rm -f ../../lib/bigloo_s.zip + +#*--- distclean -------------------------------------------------------*/ +distclean: + /bin/rm -f Makefile.skb + /bin/rm -f ../../src/common/configure.scm + + + -- cgit v1.2.3