Fix so loading doesn't fail w/o validator.

shop-planner · Nov 3, 2020 · 536d646 · 536d646
1 parent c6d9686
commit 536d646
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/shop3/pddl/pddl.lisp b/shop3/pddl/pddl.lisp
@@ -69,7 +69,11 @@
 (defparameter +fluent-updates+
   '(assign increase decrease scale-up scale-down))
 
-(defvar *validator-progname* (truename (asdf:system-relative-pathname "shop3" "../jenkins/VAL/validate")))
+(defvar *validator-progname*
+  (let ((local-validator (asdf:system-relative-pathname "shop3" "../jenkins/VAL/validate")))
+    (if (probe-file local-validator)
+        (truename local-validator))
+    "validate"))
 
 (defgeneric validator-export (domain plan stream)
   (:documentation "Print a plan in a way that it can be consumed by