#!/bin/sh
# makeall
# re-builds absolutely everything, inclusing doing a re-profile
# of REDUCE to select what should be compiled into C. This should only
# be required after MAJOR changes in the source.
# Note that you will need to have made a suitable Makefile available,
# eg by going something like
# ln -s ../util/Makefile.xxx Makefile
# for xxx matching the computer you are using.
make slowr37
../util/boot37
../util/profile
cp profile.dat ../csl-c
rm profile.dat
../util/c-code37
make r37
# the bits from here down are cheaper and are all that is usually needed
../util/full37
../util/testall
../util/checkall
# log/checkall.log and log/times.log should now be up to date.