;;;; 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)))