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