aboutsummaryrefslogtreecommitdiffhomepage
path: root/build.lisp
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 )