summaryrefslogtreecommitdiff
path: root/build.lisp
diff options
context:
space:
mode:
Diffstat (limited to 'build.lisp')
-rw-r--r--build.lisp12
1 files changed, 12 insertions, 0 deletions
diff --git a/build.lisp b/build.lisp
index a69a352..f58dc54 100644
--- a/build.lisp
+++ b/build.lisp
@@ -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 )