GitLab

Tests in tests/misc are now part of the suites.

	make test
For the complete one:
	make extendedtest
This last test suite will show some errors as it tests unimplemented
features. See tests/test.sh for the implementation.
Useless Makefiles removed

	./opam_config.sh [OCaml version]
to switch to an OCaml version and install the necessary opam
packages to compile CDuce.

Minor fix for Makefile verbose mode.

tests/ocaml folder to use it.

this point. Besides, CDuce doesn't compile here with OCaml 3.12 as
the old types have been replaced by the new ones.

Add necessary files cmi_format to copy from OCaml sources.
Add dummy implementation for locations in AST.

ocaml submodule points to ocaml 3.12.1 (tag)

No commit message