Cleaned up the Arch inventory and removed old useless makefiles.

Cleaned up the Arch inventory and removed old useless makefiles.

git-archimport-id: lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-23

4 files changed, 0 insertions, 261 deletions

diff --git a/etc/Makefile b/etc/Makefile
deleted file mode 100644
index 349fcf8..0000000
--- a/etc/Makefile
+++ /dev/null
@@ -1,50 +0,0 @@
-#*=====================================================================*/
-#*    serrano/prgm/project/skribe/etc/Makefile                         */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Sat Oct 25 08:29:30 2003                          */
-#*    Last change :  Sat Jan  3 06:40:19 2004 (serrano)                */
-#*    Copyright   :  2003-04 Manuel Serrano                            */
-#*    -------------------------------------------------------------    */
-#*    The Skribe Meta etc Makefile                                     */
-#*=====================================================================*/
-include ../etc/Makefile.config
-include ../etc/$(SYSTEM)/Makefile.skb
-
-#*---------------------------------------------------------------------*/
-#*    pop                                                              */
-#*---------------------------------------------------------------------*/
-.PHONY: pop
-
-pop:
-	@ echo etc/Makefile etc/skribe-config.in etc/ChangeLog
-	@ (cd bigloo && $(MAKE) pop)
-	@ (cd stklos && $(MAKE) pop)
-
-#*---------------------------------------------------------------------*/
-#*    Install/Uninstall                                                */
-#*---------------------------------------------------------------------*/
-.PHONY: install uninstall
-
-install: $(DESTDIR)$(INSTALL_EXTDIR)
-	cp skribe-config $(DESTDIR)$(INSTALL_BINDIR) && \
-        chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)/skribe-config
-
-uninstall:
-	$(RM) -f $(DESTDIR)$(INSTALL_BINDIR)/skribe-config
-
-$(DESTDIR)$(INSTALL_EXTDIR):
-	mkdir -p $(DESTDIR)$(INSTALL_EXTDIR) && chmod a+rx $(DESTDIR)$(INSTALL_EXTDIR)
-
-
-#*---------------------------------------------------------------------*/
-#*    clean/distclean                                                  */
-#*---------------------------------------------------------------------*/
-.PHONY: clean distclean
-
-clean:
-	(cd $(SYSTEM) && $(MAKE) clean)
-
-distclean: clean
-	(cd $(SYSTEM) && $(MAKE) distclean)
-	$(RM) -f skribe-config 	config
diff --git a/etc/bigloo/Makefile b/etc/bigloo/Makefile
deleted file mode 100644
index 82ffceb..0000000
--- a/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
-
-
-
diff --git a/etc/bigloo/autoconf/Makefile b/etc/bigloo/autoconf/Makefile
deleted file mode 100644
index c077107..0000000
--- a/etc/bigloo/autoconf/Makefile
+++ /dev/null
@@ -1,53 +0,0 @@
-#*=====================================================================*/
-#*    serrano/prgm/project/skribe/etc/bigloo/autoconf/Makefile         */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Thu Jun 19 20:48:50 1997                          */
-#*    Last change :  Sat Oct 25 08:34:37 2003 (serrano)                */
-#*    Copyright   :  1997-2003 Manuel Serrano, see LICENSE file        */
-#*    -------------------------------------------------------------    */
-#*    The global autoconf Makefile (mainly for backuping).             */
-#*=====================================================================*/
-
-#*---------------------------------------------------------------------*/
-#*    Flags                                                            */
-#*---------------------------------------------------------------------*/
-POPULATION	= Makefile bversion getbversion blibdir gmaketest \
-                  blstlen bfildir
-
-#*---------------------------------------------------------------------*/
-#*    pop ...                                                          */
-#*---------------------------------------------------------------------*/
-pop: 
-	@ echo $(POPULATION:%=etc/bigloo/autoconf/%)
-
-#*---------------------------------------------------------------------*/
-#*    clean                                                            */
-#*---------------------------------------------------------------------*/
-.PHONY: clean cleanall distclean
-
-clean:
-	@ find . \( -name '*[~%]' \
-                       -o -name '.??*[~%]' \
-                       -o -name '#*#' \
-                       -o -name '?*#' \
-                       -o -name \*core \) \
-                     -type f -exec rm {} \;   
-	@ echo "cleanup done..."
-	@ echo "-------------------------------"
-
-cleanall: clean
-distclean: cleanall
-
-#*---------------------------------------------------------------------*/
-#*    distrib                                                          */
-#*---------------------------------------------------------------------*/
-distrib: $(POPULATION)
-	@ if [ `pwd` = $$HOME/prgm/project/bglk/autoconf ]; then \
-             echo "*** ERROR:Illegal dir to make a distrib `pwd`"; \
-             exit 1; \
-          fi
-	@ $(MAKE) clean
-	@ chmod a+rx $(POPULATION)
-
-
diff --git a/etc/stklos/Makefile.in b/etc/stklos/Makefile.in
deleted file mode 100644
index 186fd58..0000000
--- a/etc/stklos/Makefile.in
+++ /dev/null
@@ -1,44 +0,0 @@
-#
-# Makefile.in	-- Skribe Makefile for Stklos
-# 
-# Copyright © 2003 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
-# 
-# 
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
-# (at your option) any later version.
-# 
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-# 
-# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 
-# USA.
-# 
-#           Author: Erick Gallesio [eg@essi.fr]
-#    Creation date: 10-Aug-2003 17:31 (eg)
-# Last file update: 10-Nov-2003 19:48 (eg)
-#
-
-PRCS_FILES=Makefile.config.in Makefile.in Makefile.skb.in configure.in \
-configure
-
-all: configure
-
-
-configure: configure.in
-	autoconf
-
-clean:
-	/bin/rm -f config.* *~ 
-
-pop:
-	@echo $(PRCS_FILES:%=etc/stklos/%)
-
-distclean: clean
-	(cd ../../src/stklos/; $(MAKE) distclean)
-	/bin/rm -f Makefile Makefile.skb ../Makefile.config