@rem 
@rem   REDUCE installation procedure, 2nd part
@rem
@rem
@
@ if exist TUNING goto tune
@ if exist MKR    goto mkreduce
@
@ mkdir fasl
@ mkdir psl
@ mkdir src
@ mkdir lib
@ mkdir log
@ mkdir util
@ mkdir doc
@ mkdir bin
@ mkdir xmpl
@
@ if exist fasl\*.* goto notempty
@ if exist psl\*.* goto notempty
@ if exist bin\*.* goto notempty
@ goto empty
@
:notempty
@
@ echo *****************************************************************
@ echo .  WARNING: one of the binary subdirectories is not empty.
@ echo .  Old binary files will be deleted during installation.
@ echo .
@ echo .  You can stop installing now by typing Ctrl-C.
@ echo *****************************************************************
@ pause
@
@ del psl\*.b
@ del bin\*.exe
@ del bin\*.img
@ del fasl\*.b
:empty
@ call insert 1 %1 zoo.exe
@
@ cls
@ echo -----------------------------------------------------------------
@ echo .
@ echo .     Unpacking binary REDUCE files from disk 1 
@ echo .
@ echo -----------------------------------------------------------------
@
@ copy %1zoo.exe bin
@
@ cd bin
@ copy  %1bin.zoo .
@ zoo -e bin
@ del  bin.zoo
@ cd ..
@
@ cd util
@ copy %1util.zoo .
@ ..\bin\zoo -e util
@ del util.zoo
@ cd ..
@
@ cd psl
@ copy %1psl.zoo .
@ ..\bin\zoo -e psl
@ del psl.zoo
@ cd ..
@
@ cd xmpl
@ copy %1xmpl.zoo .
@ ..\bin\zoo -e xmpl
@ del xmpl.zoo
@ cd ..
@
@ if not exist %1fasl1.zoo goto nofasl1
@ cd fasl
@ copy %1fasl1.zoo .
@ ..\bin\zoo -e fasl1
@ del fasl1.zoo
@ cd ..
:nofasl1
@

@ call insert 2 %1 fasl2.zoo
@
@ cls
@ echo ----------------------------------------------------------------
@ echo .
@ echo .     Unpacking binary REDUCE files from disk 2 
@ echo .
@ echo ----------------------------------------------------------------
@ cd fasl
@ copy %1fasl2.zoo .
@ ..\bin\zoo -e fasl2
@ del fasl2.zoo
@ cd ..
@
@ cls
@ echo ----------------------------------------------------------------
@ echo .
@ echo . Customizing the REDUCE/PSL loader
@ echo . if the machine hangs up in this phase, please
@ echo . reboot machine and restart the installation procedure
@ echo .
@ echo ----------------------------------------------------------------
@
:tune
@ echo TUNING > TUNING
@ cd bin
@ tune -k psll.exe
@ cd ..
@ del TUNING
@
@ cls
@ echo ----------------------------------------------------------------
@ echo .
@ echo . Tuning done; 
:mkreduce
@ echo MKREDUCE > MKR
@ echo . building the REDUCE load image
@ echo .
@ echo .  Please be patient; this process can take some minutes
@ echo .
@ echo .  If the machine hangs up in this phase or if the file
@ echo .  bin\reduce.img is not generated, please check your
@ echo .  configuration, reboot the machine and restart the
@ echo .  installation script (the installation then will skip the
@ echo .  unloading process).
@ echo ----------------------------------------------------------------
@
@ call util\mkreduce
@ if exist bin\reduce.img del MKR
@ if not exist bin\reduce.img goto fail
@
@ call install3
@cls
@ echo ----------------------------------------------------------------
@ echo .
@ echo .    The installation of REDUCE file tree (binary part)
@ echo .                is now complete.
@ echo .
@ echo . Execute REDUCE by calling the script %reduce%\reduce 
@ echo . or copy the file %reduce%\reduce.bat to a directory which is 
@ echo . part of your path. You should adjust the memory size cited
@ echo . in the last line of %reduce%\reduce.bat (see Installation Guide).
@ echo . 
@ echo . If you are using DOS 5 you could use a DOSKEY macro for invoking
@ echo . REDUCE as well: use the content of %reduce%\reduce.bat for
@ echo . the macro definition.
@ echo .
@ echo .                                      Enjoy REDUCE.
@ echo .
@ echo ---------------------------------------------------------------
@ goto done
:fail
@ echo ***************************************************************
@ echo *   Installation failed during generation of REDUCE image     *
@ echo ***************************************************************
:done