diff options
| author | lefessan <lefessan@30fcff6e-8de6-41c7-acce-77ff6d1dd07b> | 2011-04-11 15:24:45 +0000 |
|---|---|---|
| committer | lefessan <lefessan@30fcff6e-8de6-41c7-acce-77ff6d1dd07b> | 2011-04-11 15:24:45 +0000 |
| commit | 1b3bbda12e948e4d9fe34a4c59b9dac9e7b64e8f (patch) | |
| tree | b1e44c5b779b593f4065c28e790f15b2ac7b777d /sources/fabrice/simulator/build.ocp | |
| parent | decfef69b25175e672a3216d85b9b4c7e1165b98 (diff) | |
| download | pacemaker-1b3bbda12e948e4d9fe34a4c59b9dac9e7b64e8f.tar.gz | |
Added sources of simulator and emulator
git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@2 30fcff6e-8de6-41c7-acce-77ff6d1dd07b
Diffstat (limited to 'sources/fabrice/simulator/build.ocp')
| -rw-r--r-- | sources/fabrice/simulator/build.ocp | 13 |
1 files changed, 13 insertions, 0 deletions
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 + + |