plugins: add missing dependency of stn-generator on pddl-planner
authorTill Hofmann <hofmann@kbsg.rwth-aachen.de>
Mon, 16 Apr 2018 12:23:54 +0000 (14:23 +0200)
committerTill Hofmann <hofmann@kbsg.rwth-aachen.de>
Mon, 16 Apr 2018 12:23:54 +0000 (14:23 +0200)
src/plugins/Makefile

index ec3b722..6dc2d11 100644 (file)
@@ -55,4 +55,5 @@ perception: mongodb
 navgraph-generator: navgraph amcl
 openprs-agent: openprs
 laser-filter: amcl
+stn-generator: pddl-planner