mkfasl2 672 B

123456789101112131415161718192021222324252627282930313233
  1. #!/bin/csh -f
  2. # mkfasl --- Make a fasl file.
  3. # Author: Anthony C. Hearn.
  4. rm -f $reduce/log/mk$1.log
  5. $reduce/reduce >& $reduce/log/mk$1.log << EOF
  6. symbolic;
  7. % Compiler loading and modifications.
  8. load compiler;
  9. remprop('wplus2,'one); % For hilbertp.
  10. remprop('log,'no!-side!-effects!?); % So that math can be fasled.
  11. remprop('atan,'no!-side!-effects!?); % So that math can be fasled.
  12. load fast!-vector; % To use IGETV, etc.
  13. !*verboseload := t; % To help debugging.
  14. !*fastcar := t; % Since we assume all car/cdr calls are correct.
  15. faslout "$reduce/fasl/$1";
  16. in "$reduce/$2/$1.red"\$
  17. faslend;
  18. showtime;
  19. bye;
  20. EOF