rebuild.sh 428 B

12345678910111213141516
  1. #! /bin/sh -v
  2. # "rebuild.sh"
  3. #
  4. # This does a simple but complete build of both the CSL and PSL versions
  5. # of REDUCE. It leaves a log from these builds in a suitably simple top-level
  6. # file rebuild.log. If you want to ensure that the rebuild is clean just
  7. # remove the cslbuild and pslbuild directories before running this script.
  8. ./configure --with-csl
  9. ./configure --with-psl
  10. make 2>&1 | tee rebuild.log
  11. # end of rebuild.sh