generate-c-header.bat 764 B

12345678910111213141516171819202122
  1. @echo off
  2. rem Part of Scheme 48 1.9. See file COPYING for notices and license.
  3. rem
  4. rem Authors: Richard Kelsey, Jonathan Rees, Mike Sperber
  5. rem
  6. set runnable="%~1"
  7. echo ,bench > generate-c-header.input
  8. echo ,batch >> generate-c-header.input
  9. echo ,load-package big-scheme >> generate-c-header.input
  10. echo ,open big-scheme >> generate-c-header.input
  11. echo ,load scheme/link/generate-c-header.scm >> generate-c-header.input
  12. echo (make-c-header-file "c/scheme48.h" >> generate-c-header.input
  13. echo "c/scheme48.h.in" >> generate-c-header.input
  14. echo "scheme/vm/interp/arch.scm" >> generate-c-header.input
  15. echo "scheme/vm/data/data.scm" >> generate-c-header.input
  16. echo "scheme/rts/record.scm") >> generate-c-header.input
  17. %runnable% < generate-c-header.input