#! /bin/csh
clear

echo "Alliance Installation Shell for sparc"

set TOP=`pwd`
set MACHINE=sparc
DoItAgain:
echo -n "Do you wish to install mbk (y/n) "
set mbkInstall = $< 
echo -n "Do you wish to install mbkal (y/n) "
set mbkalInstall = $< 
echo -n "Do you wish to install mbkap (y/n) "
set mbkapInstall = $< 
echo -n "Do you wish to install mbkedif (y/n) "
set mbkedifInstall = $< 
echo -n "Do you wish to install mbkhilo (y/n) "
set mbkhiloInstall = $< 
echo -n "Do you wish to install mbkspice (y/n) "
set mbkspiceInstall = $< 
echo -n "Do you wish to install mbkvhdl (y/n) "
set mbkvhdlInstall = $< 
echo -n "Do you wish to install mbkvti (y/n) "
set mbkvtiInstall = $< 
echo -n "Do you wish to install bdd (y/n) "
set bddInstall = $< 
echo -n "Do you wish to install beh (y/n) "
set behInstall = $< 
echo -n "Do you wish to install behvhdl (y/n) "
set behvhdlInstall = $< 
echo -n "Do you wish to install pat (y/n) "
set patInstall = $< 
echo -n "Do you wish to install rds (y/n) "
set rdsInstall = $< 
echo -n "Do you wish to install rdscif (y/n) "
set rdscifInstall = $< 
echo -n "Do you wish to install rdsgds (y/n) "
set rdsgdsInstall = $< 
echo -n "Do you wish to install genlib (y/n) "
set genlibInstall = $< 
echo -n "Do you wish to install genpat (y/n) "
set genpatInstall = $< 
echo -n "Do you wish to install desb (y/n) "
set desbInstall = $< 
echo -n "Do you wish to install alc (y/n) "
set alcInstall = $< 
echo -n "Do you wish to install scr (y/n) "
set scrInstall = $< 
echo -n "Do you wish to install asimut (y/n) "
set asimutInstall = $< 
echo -n "Do you wish to install lynx (y/n) "
set lynxInstall = $< 
echo -n "Do you wish to install lvx (y/n) "
set lvxInstall = $< 
echo -n "Do you wish to install ring (y/n) "
set ringInstall = $< 
echo -n "Do you wish to install mbktools (y/n) "
set mbktoolsInstall = $< 
echo -n "Do you wish to install mbk2ps (y/n) "
set mbk2psInstall = $< 
echo -n "Do you wish to install s2r (y/n) "
set s2rInstall = $< 
echo -n "Do you wish to install versatil (y/n) "
set versatilInstall = $< 
echo -n "Do you wish to install proof (y/n) "
set proofInstall = $< 
echo -n "Do you wish to install sl (y/n) "
set slInstall = $< 
 echo ""
if ( $mbkInstall == "y" ) then
  echo "mbk  will be installed ."
endif
if ( $mbkalInstall == "y" ) then
  echo "mbkal  will be installed ."
endif
if ( $mbkapInstall == "y" ) then
  echo "mbkap  will be installed ."
endif
if ( $mbkedifInstall == "y" ) then
  echo "mbkedif  will be installed ."
endif
if ( $mbkhiloInstall == "y" ) then
  echo "mbkhilo  will be installed ."
endif
if ( $mbkspiceInstall == "y" ) then
  echo "mbkspice  will be installed ."
endif
if ( $mbkvhdlInstall == "y" ) then
  echo "mbkvhdl  will be installed ."
endif
if ( $mbkvtiInstall == "y" ) then
  echo "mbkvti  will be installed ."
endif
if ( $bddInstall == "y" ) then
  echo "bdd  will be installed ."
endif
if ( $behInstall == "y" ) then
  echo "beh  will be installed ."
endif
if ( $behvhdlInstall == "y" ) then
  echo "behvhdl  will be installed ."
endif
if ( $patInstall == "y" ) then
  echo "pat  will be installed ."
endif
if ( $rdsInstall == "y" ) then
  echo "rds  will be installed ."
endif
if ( $rdscifInstall == "y" ) then
  echo "rdscif  will be installed ."
endif
if ( $rdsgdsInstall == "y" ) then
  echo "rdsgds  will be installed ."
endif
if ( $genlibInstall == "y" ) then
  echo "genlib  will be installed ."
endif
if ( $genpatInstall == "y" ) then
  echo "genpat  will be installed ."
endif
if ( $desbInstall == "y" ) then
  echo "desb  will be installed ."
endif
if ( $alcInstall == "y" ) then
  echo "alc  will be installed ."
endif
if ( $scrInstall == "y" ) then
  echo "scr  will be installed ."
endif
if ( $asimutInstall == "y" ) then
  echo "asimut  will be installed ."
endif
if ( $lynxInstall == "y" ) then
  echo "lynx  will be installed ."
endif
if ( $lvxInstall == "y" ) then
  echo "lvx  will be installed ."
endif
if ( $ringInstall == "y" ) then
  echo "ring  will be installed ."
endif
if ( $mbktoolsInstall == "y" ) then
  echo "mbktools  will be installed ."
endif
if ( $mbk2psInstall == "y" ) then
  echo "mbk2ps  will be installed ."
endif
if ( $s2rInstall == "y" ) then
  echo "s2r  will be installed ."
endif
if ( $versatilInstall == "y" ) then
  echo "versatil  will be installed ."
endif
if ( $proofInstall == "y" ) then
  echo "proof  will be installed ."
endif
if ( $slInstall == "y" ) then
  echo "sl  will be installed ."
endif
echo ""
echo -n "Is this correct (y/n) ? "
set answer = $< 
if ( $answer == "n" ) then 
  clear
  goto DoItAgain
endif
echo ""
 echo "------------- Installation launched ------------------"
if ( $mbkInstall == "y" ) then
 echo  "-------------"mbk-------------
cd tools/mbk/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbk/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbk/bin/* archi/sparc/bin
mv tools/mbk/include/* archi/sparc/include
mv tools/mbk/etc/* etc
 endif
if ( $mbkalInstall == "y" ) then
 echo  "-------------"mbkal-------------
cd tools/mbkal/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbkal/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbkal/bin/* archi/sparc/bin
mv tools/mbkal/include/* archi/sparc/include
mv tools/mbkal/etc/* etc
 endif
if ( $mbkapInstall == "y" ) then
 echo  "-------------"mbkap-------------
cd tools/mbkap/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbkap/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbkap/bin/* archi/sparc/bin
mv tools/mbkap/include/* archi/sparc/include
mv tools/mbkap/etc/* etc
 endif
if ( $mbkedifInstall == "y" ) then
 echo  "-------------"mbkedif-------------
cd tools/mbkedif/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbkedif/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbkedif/bin/* archi/sparc/bin
mv tools/mbkedif/include/* archi/sparc/include
mv tools/mbkedif/etc/* etc
 endif
if ( $mbkhiloInstall == "y" ) then
 echo  "-------------"mbkhilo-------------
cd tools/mbkhilo/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbkhilo/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbkhilo/bin/* archi/sparc/bin
mv tools/mbkhilo/include/* archi/sparc/include
mv tools/mbkhilo/etc/* etc
 endif
if ( $mbkspiceInstall == "y" ) then
 echo  "-------------"mbkspice-------------
cd tools/mbkspice/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbkspice/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbkspice/bin/* archi/sparc/bin
mv tools/mbkspice/include/* archi/sparc/include
mv tools/mbkspice/etc/* etc
 endif
if ( $mbkvhdlInstall == "y" ) then
 echo  "-------------"mbkvhdl-------------
cd tools/mbkvhdl/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbkvhdl/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbkvhdl/bin/* archi/sparc/bin
mv tools/mbkvhdl/include/* archi/sparc/include
mv tools/mbkvhdl/etc/* etc
 endif
if ( $mbkvtiInstall == "y" ) then
 echo  "-------------"mbkvti-------------
cd tools/mbkvti/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbkvti/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbkvti/bin/* archi/sparc/bin
mv tools/mbkvti/include/* archi/sparc/include
mv tools/mbkvti/etc/* etc
 endif
if ( $bddInstall == "y" ) then
 echo  "-------------"bdd-------------
cd tools/bdd/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/bdd/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/bdd/bin/* archi/sparc/bin
mv tools/bdd/include/* archi/sparc/include
mv tools/bdd/etc/* etc
 endif
if ( $behInstall == "y" ) then
 echo  "-------------"beh-------------
cd tools/beh/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/beh/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/beh/bin/* archi/sparc/bin
mv tools/beh/include/* archi/sparc/include
mv tools/beh/etc/* etc
 endif
if ( $behvhdlInstall == "y" ) then
 echo  "-------------"behvhdl-------------
cd tools/behvhdl/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/behvhdl/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/behvhdl/bin/* archi/sparc/bin
mv tools/behvhdl/include/* archi/sparc/include
mv tools/behvhdl/etc/* etc
 endif
if ( $patInstall == "y" ) then
 echo  "-------------"pat-------------
cd tools/pat/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/pat/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/pat/bin/* archi/sparc/bin
mv tools/pat/include/* archi/sparc/include
mv tools/pat/etc/* etc
 endif
if ( $rdsInstall == "y" ) then
 echo  "-------------"rds-------------
cd tools/rds/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/rds/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/rds/bin/* archi/sparc/bin
mv tools/rds/include/* archi/sparc/include
mv tools/rds/etc/* etc
 endif
if ( $rdscifInstall == "y" ) then
 echo  "-------------"rdscif-------------
cd tools/rdscif/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/rdscif/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/rdscif/bin/* archi/sparc/bin
mv tools/rdscif/include/* archi/sparc/include
mv tools/rdscif/etc/* etc
 endif
if ( $rdsgdsInstall == "y" ) then
 echo  "-------------"rdsgds-------------
cd tools/rdsgds/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/rdsgds/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/rdsgds/bin/* archi/sparc/bin
mv tools/rdsgds/include/* archi/sparc/include
mv tools/rdsgds/etc/* etc
 endif
if ( $genlibInstall == "y" ) then
 echo  "-------------"genlib-------------
cd tools/genlib/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/genlib/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/genlib/bin/* archi/sparc/bin
mv tools/genlib/include/* archi/sparc/include
mv tools/genlib/etc/* etc
 endif
if ( $genpatInstall == "y" ) then
 echo  "-------------"genpat-------------
cd tools/genpat/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/genpat/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/genpat/bin/* archi/sparc/bin
mv tools/genpat/include/* archi/sparc/include
mv tools/genpat/etc/* etc
 endif
if ( $desbInstall == "y" ) then
 echo  "-------------"desb-------------
cd tools/desb/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/desb/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/desb/bin/* archi/sparc/bin
mv tools/desb/include/* archi/sparc/include
mv tools/desb/etc/* etc
 endif
if ( $alcInstall == "y" ) then
 echo  "-------------"alc-------------
cd tools/alc/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/alc/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/alc/bin/* archi/sparc/bin
mv tools/alc/include/* archi/sparc/include
mv tools/alc/etc/* etc
 endif
if ( $scrInstall == "y" ) then
 echo  "-------------"scr-------------
cd tools/scr/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/scr/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/scr/bin/* archi/sparc/bin
mv tools/scr/include/* archi/sparc/include
mv tools/scr/etc/* etc
 endif
if ( $asimutInstall == "y" ) then
 echo  "-------------"asimut-------------
cd tools/asimut/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/asimut/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/asimut/bin/* archi/sparc/bin
mv tools/asimut/include/* archi/sparc/include
mv tools/asimut/etc/* etc
 endif
if ( $lynxInstall == "y" ) then
 echo  "-------------"lynx-------------
cd tools/lynx/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/lynx/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/lynx/bin/* archi/sparc/bin
mv tools/lynx/include/* archi/sparc/include
mv tools/lynx/etc/* etc
 endif
if ( $lvxInstall == "y" ) then
 echo  "-------------"lvx-------------
cd tools/lvx/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/lvx/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/lvx/bin/* archi/sparc/bin
mv tools/lvx/include/* archi/sparc/include
mv tools/lvx/etc/* etc
 endif
if ( $ringInstall == "y" ) then
 echo  "-------------"ring-------------
cd tools/ring/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/ring/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/ring/bin/* archi/sparc/bin
mv tools/ring/include/* archi/sparc/include
mv tools/ring/etc/* etc
 endif
if ( $mbktoolsInstall == "y" ) then
 echo  "-------------"mbktools-------------
cd tools/mbktools/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbktools/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbktools/bin/* archi/sparc/bin
mv tools/mbktools/include/* archi/sparc/include
mv tools/mbktools/etc/* etc
 endif
if ( $mbk2psInstall == "y" ) then
 echo  "-------------"mbk2ps-------------
cd tools/mbk2ps/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/mbk2ps/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/mbk2ps/bin/* archi/sparc/bin
mv tools/mbk2ps/include/* archi/sparc/include
mv tools/mbk2ps/etc/* etc
 endif
if ( $s2rInstall == "y" ) then
 echo  "-------------"s2r-------------
cd tools/s2r/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/s2r/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/s2r/bin/* archi/sparc/bin
mv tools/s2r/include/* archi/sparc/include
mv tools/s2r/etc/* etc
 endif
if ( $versatilInstall == "y" ) then
 echo  "-------------"versatil-------------
cd tools/versatil/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/versatil/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/versatil/bin/* archi/sparc/bin
mv tools/versatil/include/* archi/sparc/include
mv tools/versatil/etc/* etc
 endif
if ( $proofInstall == "y" ) then
 echo  "-------------"proof-------------
cd tools/proof/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/proof/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/proof/bin/* archi/sparc/bin
mv tools/proof/include/* archi/sparc/include
mv tools/proof/etc/* etc
 endif
if ( $slInstall == "y" ) then
 echo  "-------------"sl-------------
cd tools/sl/sce; make MACHINE=sparc ALLIANCE_INCLUDE=$TOP/archi/sparc/include ALLIANCE_LIB=$TOP/archi/sparc/lib ALLIANCE_ETC=$TOP/etc ALLIANCE_CELLS=$TOP/cells distrib ; cd ../../..
mv tools/sl/lib/* archi/sparc/lib
foreach i (archi/sparc/lib/*.a)
  /bin/ranlib $i
end
mv tools/sl/bin/* archi/sparc/bin
mv tools/sl/include/* archi/sparc/include
mv tools/sl/etc/* etc
 endif
