From 536d646e2a967f27e9ad79eca4f8444702d8aac2 Mon Sep 17 00:00:00 2001 From: "Robert P. Goldman" Date: Fri, 30 Oct 2020 13:17:06 -0500 Subject: [PATCH] Fix so loading doesn't fail w/o validator. --- shop3/pddl/pddl.lisp | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/shop3/pddl/pddl.lisp b/shop3/pddl/pddl.lisp index ce4d867e..2433d827 100644 --- 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