blob: f58dc5464fd613e2ff601f64815c6262b212cb55 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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 )
|
