diff options
Diffstat (limited to 'CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc')
-rw-r--r-- | CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc b/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc deleted file mode 100644 index f264738108a..00000000000 --- a/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.mpc +++ /dev/null @@ -1,33 +0,0 @@ -// -*- 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 { - } -} |