From 1b3bbda12e948e4d9fe34a4c59b9dac9e7b64e8f Mon Sep 17 00:00:00 2001 From: lefessan Date: Mon, 11 Apr 2011 15:24:45 +0000 Subject: Added sources of simulator and emulator git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@2 30fcff6e-8de6-41c7-acce-77ff6d1dd07b --- sources/fabrice/simulator/build.ocp | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 sources/fabrice/simulator/build.ocp (limited to 'sources/fabrice/simulator/build.ocp') diff --git a/sources/fabrice/simulator/build.ocp b/sources/fabrice/simulator/build.ocp new file mode 100644 index 0000000..d2beede --- /dev/null +++ b/sources/fabrice/simulator/build.ocp @@ -0,0 +1,13 @@ + pp = "camlp4o.opt" + +begin "simul" + files = [ + "randomArray.ml"; + "simulTypes.ml"; + "simulGraphes.ml"; + "simulTrace.ml"; + ] + requires = [ "cdk"; "net" ] +end + + -- cgit v1.2.3-70-g09d2