blob: 8961b9171759409c86bf12d97bae8c8c6019cca0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
;;;; run.lisp -- starting from the command line
(in-package :vampire)
(defun get-option (name &optional default)
(or
(let ((args (uiop:command-line-arguments)))
(when-let ((pos (position name args :test #'string-equal)))
(nth (1+ pos) args)))
default))
(defun run-vampire ()
(let ((conf-file (get-option "--config")))
(start-vampire (config-from-file conf-file)))
(loop while *runningp* do (sleep 1)))
|
