// -*- MPC -*-
// $Id$

project(*Server): strategies, rt_server {
  exename = server
  Source_Files {
    Policy_Tester.cpp
    Policy_Verifier.cpp
    RT_Properties.cpp
    server.cpp
  }
}

project(*Client): strategies, rt_server {
  exename = client
  after += *Server

  Source_Files {
    CounterC.cpp
    Policy_Tester.cpp
    Policy_Verifier.cpp
    RT_Properties.cpp
    client.cpp
  }
}