diff options
Diffstat (limited to 'CIAO/MPC/config/dance_plan_generator.mpc')
| -rw-r--r-- | CIAO/MPC/config/dance_plan_generator.mpc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/CIAO/MPC/config/dance_plan_generator.mpc b/CIAO/MPC/config/dance_plan_generator.mpc index 3448d4b2a6b..be95b7c5555 100644 --- a/CIAO/MPC/config/dance_plan_generator.mpc +++ b/CIAO/MPC/config/dance_plan_generator.mpc @@ -1,7 +1,8 @@ // -*- MPC -*- // $Id$ -project : dance_deployment_stub, naming { - after += Plan_Generator +project : ciao_executor { + after += DAnCE_Plan_Generator libs += DAnCE_Plan_Generator + includes += $(CIAO_ROOT)/DAnCE/Plan_Generator } |