Update PDDL and HDDL utils to version 3.1.

shop-planner · Oct 18, 2023 · 04fb45c · 04fb45c
1 parent 81e5358
commit 04fb45c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/jenkins/ext/pddl-tools b/jenkins/ext/pddl-tools
diff --git a/shop3/shop3.asd b/shop3/shop3.asd
@@ -194,12 +194,13 @@ minimal affected subtree."
   )
 
 (defsystem "shop3/hddl"
-    :depends-on ("shop3" "hddl-utils")
+    :depends-on ("shop3" (:version "hddl-utils" "3"))
   :pathname "hddl/"
   :serial t
   :components ((:file "package")
                (:file "hddl-plan" :depends-on ("package"))
-               (:file "hddl-problem" :depends-on ("package"))))
+               ;; (:file "hddl-problem" :depends-on ("package"))
+               ))
 
 
 ;;;---------------------------------------------------------------------------