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