+# Lesson 10: RPC
+########################################
+10-rpc.output: 10-rpc_client 10-rpc_server 10-rpc_simulator
+ echo '$$ ./test_server & ./test_client 127.0.0.1 ' > $@
+ ./10-rpc_server 12345 2>&1 |sed s/10-rpc/test/ >> $@ 2>&1&
+ ./10-rpc_client 127.0.0.1 12345 2>&1 |sed s/10-rpc/test/ >> $@ 2>&1
+ sleep 1
+ echo '$$' >> $@
+ echo '$$ killall test_server' >> $@
+ killall 10-rpc_server 10-rpc_client 2>/dev/null || true
+ echo '$$' >> $@
+ echo '$$ ./test_simulator platform.xml test.xml' >> $@
+ ./10-rpc_simulator gtut-platform.xml 03-args.xml 2>&1 |sed s/10-rpc/test/ >> $@ 2>&1
+ echo '$$' >> $@
+
+10-rpc_client 10-rpc_server 10-rpc_simulator: _10-rpc_client.c _10-rpc_server.c _10-rpc_simulator.c
+ make -f 10-rpc.mk
+
+_10-rpc_client.c _10-rpc_server.c _10-rpc_simulator.c: 10-rpc.c 03-args.xml
+ ../../tools/gras/gras_stub_generator 10-rpc 03-args.xml >/dev/null