README : Instructions to plug new TOPO into old [Mini]LITE

$Id: README,v 1.3 1993/06/16 13:52:51 lotos Exp $

In order to install new releases of TOPO 
into earlier distributions of LITE or MiniLITE,
you may need to fix a few points.

1.- You may wish to remove old version (optional & only LITE)
	rm -rf $LITEDIR/lite-components/topo/src

2.- You have to remove several links, (listed in alphabethic order)
    from the directory in which binaries are contained
	cd $LITEDIR/$LITEARCH/bin
	rm -f $LITEDIR/$ARCH/bin/adtxr
	rm -f $LITEDIR/$ARCH/bin/ast2cr
	rm -f $LITEDIR/$ARCH/bin/d2c
	rm -f $LITEDIR/$ARCH/bin/d2h
	rm -f $LITEDIR/$ARCH/bin/drast
	rm -f $LITEDIR/$ARCH/bin/idle
	rm -f $LITEDIR/$ARCH/bin/lfe
	rm -f $LITEDIR/$ARCH/bin/lsa
	rm -f $LITEDIR/$ARCH/bin/lxref
	rm -f $LITEDIR/$ARCH/bin/mice
	rm -f $LITEDIR/$ARCH/bin/pl
	rm -f $LITEDIR/$ARCH/bin/sdrast
	rm -f $LITEDIR/$ARCH/bin/topo
	rm -f $LITEDIR/$ARCH/bin/topo.mk

3.- You need a few links
	cd $LITEDIR/$LITEARCH/bin
	rm -f topo toposet
	ln -s $TOPOBIN/topo
	ln -s $TOPOBIN/toposet 

	cd $LITEDIR/$LITEARCH/bin
	rm -f luis.script
	cp $TOPO/src/ast2cr/luis.script .
	chmod a+x luis.script

	cd $LITEDIR/$LITEARCH/bin
	rm -f luis.mk
	cp $TOPO/src/ast2cr/luis.mk .

	cd $LITEDIR/$LITEARCH/bin
	rm -f lite
	cp $TOPO/src/ast2cr/lite .
	chmod a+x lite

4.- Edit the file named 'lite', and change the value of the
    LITEDIR variable to your local instalation.

