diff options
Diffstat (limited to 'build.lisp')
-rw-r--r-- | build.lisp | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -1,3 +1,15 @@ (ql:quickload :vampire) +(swank:swank-require + '(SWANK-IO-PACKAGE::SWANK-INDENTATION + SWANK-IO-PACKAGE::SWANK-TRACE-DIALOG + SWANK-IO-PACKAGE::SWANK-PACKAGE-FU + SWANK-IO-PACKAGE::SWANK-PRESENTATIONS + SWANK-IO-PACKAGE::SWANK-MACROSTEP + SWANK-IO-PACKAGE::SWANK-FUZZY + SWANK-IO-PACKAGE::SWANK-FANCY-INSPECTOR + SWANK-IO-PACKAGE::SWANK-C-P-C + SWANK-IO-PACKAGE::SWANK-ARGLISTS + SWANK-IO-PACKAGE::SWANK-REPL)) + (sb-ext:save-lisp-and-die "bin/vampire" :toplevel #'vampire::run-vampire :executable t ) |