summaryrefslogtreecommitdiff
path: root/build.lisp
blob: a69a352f28aa5bbc2cee7680835f1d14d451e09d (plain)
1
2
3
(ql:quickload :vampire)

(sb-ext:save-lisp-and-die "bin/vampire" :toplevel #'vampire::run-vampire :executable t )