From 978313de1e448c7d1e0d7dfc442f6fbdf081d552 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 5 Jul 2010 15:58:14 +0200 Subject: [PATCH] Moved sequential to compiler/ dir --- compiler/_tags | 2 +- compiler/{minils/sequential => main}/mls2obc.ml | 0 compiler/minils/_tags | 2 +- compiler/sequential/_tags | 1 + compiler/{minils/sequential => sequential/c}/c.ml | 0 compiler/{minils/sequential => sequential/c}/c.mli | 0 compiler/{minils/sequential => sequential/c}/cgen.ml | 0 compiler/{minils/sequential => sequential/c}/csubst.ml | 0 compiler/{minils => }/sequential/control.ml | 0 compiler/{minils/sequential => sequential/java}/java.ml | 0 compiler/{minils => }/sequential/obc.ml | 0 11 files changed, 3 insertions(+), 2 deletions(-) rename compiler/{minils/sequential => main}/mls2obc.ml (100%) create mode 100644 compiler/sequential/_tags rename compiler/{minils/sequential => sequential/c}/c.ml (100%) rename compiler/{minils/sequential => sequential/c}/c.mli (100%) rename compiler/{minils/sequential => sequential/c}/cgen.ml (100%) rename compiler/{minils/sequential => sequential/c}/csubst.ml (100%) rename compiler/{minils => }/sequential/control.ml (100%) rename compiler/{minils/sequential => sequential/java}/java.ml (100%) rename compiler/{minils => }/sequential/obc.ml (100%) diff --git a/compiler/_tags b/compiler/_tags index c1f6822..4c69995 100644 --- a/compiler/_tags +++ b/compiler/_tags @@ -1,4 +1,4 @@ - or or or or
:include + or or or or
or :include <**/*.ml>: debug, dtypes : camlp4of, use_camlp4 <**/hept_parser.ml>: use_menhirLib diff --git a/compiler/minils/sequential/mls2obc.ml b/compiler/main/mls2obc.ml similarity index 100% rename from compiler/minils/sequential/mls2obc.ml rename to compiler/main/mls2obc.ml diff --git a/compiler/minils/_tags b/compiler/minils/_tags index 0107ee5..305173d 100644 --- a/compiler/minils/_tags +++ b/compiler/minils/_tags @@ -1 +1 @@ - or or
or or :include + or or
or :include diff --git a/compiler/sequential/_tags b/compiler/sequential/_tags new file mode 100644 index 0000000..c1549be --- /dev/null +++ b/compiler/sequential/_tags @@ -0,0 +1 @@ + or :include \ No newline at end of file diff --git a/compiler/minils/sequential/c.ml b/compiler/sequential/c/c.ml similarity index 100% rename from compiler/minils/sequential/c.ml rename to compiler/sequential/c/c.ml diff --git a/compiler/minils/sequential/c.mli b/compiler/sequential/c/c.mli similarity index 100% rename from compiler/minils/sequential/c.mli rename to compiler/sequential/c/c.mli diff --git a/compiler/minils/sequential/cgen.ml b/compiler/sequential/c/cgen.ml similarity index 100% rename from compiler/minils/sequential/cgen.ml rename to compiler/sequential/c/cgen.ml diff --git a/compiler/minils/sequential/csubst.ml b/compiler/sequential/c/csubst.ml similarity index 100% rename from compiler/minils/sequential/csubst.ml rename to compiler/sequential/c/csubst.ml diff --git a/compiler/minils/sequential/control.ml b/compiler/sequential/control.ml similarity index 100% rename from compiler/minils/sequential/control.ml rename to compiler/sequential/control.ml diff --git a/compiler/minils/sequential/java.ml b/compiler/sequential/java/java.ml similarity index 100% rename from compiler/minils/sequential/java.ml rename to compiler/sequential/java/java.ml diff --git a/compiler/minils/sequential/obc.ml b/compiler/sequential/obc.ml similarity index 100% rename from compiler/minils/sequential/obc.ml rename to compiler/sequential/obc.ml