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