aboutsummaryrefslogtreecommitdiff
path: root/skribe/etc/bigloo/Makefile
diff options
context:
space:
mode:
authorLudovic Court`es2006-10-11 07:43:47 +0000
committerLudovic Court`es2006-10-11 07:43:47 +0000
commitd4360259d60722eaa175a483f792fce7b8c66d97 (patch)
tree622cc21b820e3dd4616890bc9ccba74de6637d8a /skribe/etc/bigloo/Makefile
parentfc42fe56a57eace2dbdb31574c2e161f0eacf839 (diff)
downloadskribilo-d4360259d60722eaa175a483f792fce7b8c66d97.tar.gz
skribilo-d4360259d60722eaa175a483f792fce7b8c66d97.tar.lz
skribilo-d4360259d60722eaa175a483f792fce7b8c66d97.zip
slide: Propagate the `outline?' parameter in `slide-(sub)?topic'.
* src/guile/skribilo/package/slide.scm (slide-topic): Propagate the `outline?' parameter as an option. (slide-subtopic): Likewise. git-archimport-id: skribilo@sv.gnu.org--2006/skribilo--devo--1.2--patch-1
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
-
-
-