summary refs log tree commit diff
path: root/skribe/etc/bigloo/Makefile
diff options
context:
space:
mode:
authorLudovic Courtes2005-10-31 16:03:18 +0000
committerLudovic Courtes2005-10-31 16:03:18 +0000
commite9509518623d016880392237a298d4561a3b6a0b (patch)
tree9de28d4985d0c1f8b040900ce23714de8531e46f /skribe/etc/bigloo/Makefile
parent409e8a99bf90ddb8e5d40c6dd8559ad1d97b925f (diff)
downloadskribilo-e9509518623d016880392237a298d4561a3b6a0b.tar.gz
skribilo-e9509518623d016880392237a298d4561a3b6a0b.tar.lz
skribilo-e9509518623d016880392237a298d4561a3b6a0b.zip
Removed useless files, integrated packages.
* src/guile/skribilo/packages: New directory and files.

* bin: Removed.

* skr: Removed (files moved to `src/guile/skribilo/packages').

* skribe: Removed.

* doc/skr/env.skr (*courtes-mail*): New.

* doc/user/user.skb: Removed postal addresses, added my name.

* src/guile/skribilo/engine/lout.scm: Uncommented the slide-related
  markup writers.

* src/guile/skribilo/evaluator.scm (%evaluate): Try weird things with
  source properties.

* src/guile/skribilo/reader/skribe.scm: Comply with the new guile-reader
  API.

* src/guile/skribilo/types.scm: Removed the special `initialize' method
  for ASTs which was supposed to set their location.

git-archimport-id: lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-7
Diffstat (limited to 'skribe/etc/bigloo/Makefile')
-rw-r--r--skribe/etc/bigloo/Makefile114
1 files changed, 0 insertions, 114 deletions
diff --git a/skribe/etc/bigloo/Makefile b/skribe/etc/bigloo/Makefile
deleted file mode 100644
index 82ffceb..0000000
--- a/skribe/etc/bigloo/Makefile
+++ /dev/null
@@ -1,114 +0,0 @@
-#*=====================================================================*/
-#*    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
-
-
-