summaryrefslogtreecommitdiff
path: root/skribe/etc/bigloo/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/etc/bigloo/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/etc/bigloo/Makefile')
-rw-r--r--skribe/etc/bigloo/Makefile114
1 files changed, 114 insertions, 0 deletions
diff --git a/skribe/etc/bigloo/Makefile b/skribe/etc/bigloo/Makefile
new file mode 100644
index 0000000..82ffceb
--- /dev/null
+++ b/skribe/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
+
+
+