truth-table-web-wrapper 306 B

12345678910
  1. #!/bin/sh
  2. SBCL=${SBCL:-sbcl}
  3. # Use Quicklisp instead of ASDF to silence the output
  4. exec ${SBCL} --noinform \
  5. --eval '(format *error-output* "Loading systems...~%")' \
  6. --eval '(ql:quickload :truth-table/web :silent t)' \
  7. --eval '(truth-table/web:toplevel)' - "${@}"