diff options
Diffstat (limited to 'trunk/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc')
-rw-r--r-- | trunk/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/trunk/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc b/trunk/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc new file mode 100644 index 00000000000..f264738108a --- /dev/null +++ b/trunk/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc @@ -0,0 +1,33 @@ +// -*- MPC -*- +// $Id$ + +project(Plan_Launcher_Impl) : ciao_servant_dnc, ciao_config_handlers, ciao_executionmanager_stub, ciao_plan_generator { + sharedname = Plan_Launcher_Impl + + dynamicflags = PLAN_LAUNCHER_IMPL_BUILD_DLL + + Source_Files { + ../ExecutionManager/DAM_Map.cpp + Plan_Launcher_Impl.cpp + } + + Header_Files { + ../ExecutionManager/DAM_Map.h + Plan_Launcher_Impl.h + Plan_Launcher_Impl_Export.h + } +} + +project(Plan_Launcher) : ciao_server_dnc, ciao_config_handlers, ciao_executionmanager_stub, ciao_plan_generator { + exename = plan_launcher + + after += Plan_Launcher_Impl + libs += Plan_Launcher_Impl + + Source_Files { + Plan_Launcher.cpp + } + + Header_Files { + } +} |