1 files changed, 15 insertions, 0 deletions
diff --git a/run.lisp b/run.lisp
new file mode 100644
index 0000000..8961b91
--- /dev/null
+++ b/run.lisp
@@ -0,0 +1,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)))