For developers only

See the ocamldoc generated documentation. Read the module Types first and the description of each module type.

How to extend the code

To add a new Foo, where Foo ∈ {Rule; Experiment; Topology; Synchronism}:

Write a file foo/ following the examples provided and the ocamldoc generated documentation. This file must a functor Qux taking some Parameters (see examples) returning a module of signature Types.Foo.

Now register this foo in the code (straightforward):

For instance, Foo.Bar.Qux might be Rule.Ising.Four_bodies.

To study the code

My comments habits

In the code, I have 4 kinds of comments:

I try to have meaningful names that makes comments unecessary. They can be long, thanks to emacs completion :-) All comments are on the same line of or before the commented code.

My naming habits

Thanks to the well separated namespaces of OCaml, I often have a type and a value of this type bearing the same name. Singular and plural form of the names are meaningful.

My awful building system

I want to have modules like Plot.Line and Topology.Line, and I further want to define these modules in separate files like plot/ and topology/ This isn't (yet ?) possible by default in OCaml, so like other programmers I use a small tool to concatenate plot/*.ml into, then I can compile and and get the desired modules. This small concatenation tool is currently camlmix, which merely executes and insert the standard output of the caml code enclosed between double sharps: ## ... ##. Other solutions would be cpp, camlp4 or ocamlc -pack (but when I chose the building system, ocamldoc couldn't cope with plot/ and topology/ I'll be glad to hear this has changed). make will compile camlmix if it isn't in the sources directory and copy it here, make clean_all will erase it.

Never edit the .ml files if there is a corresponding .camlmix file. make regenerates if a file foo/ has changed. The Makefile itself is generated from Makefile.camlmix. It is regenerated each time Makefile.camlmix is touched. In case the Makefile get messed up, you can regenerate it by typing

  make -f Makefile.bootstrap

(make wants to generate the file .depend (since it's included in the Makefile) before issuing any command and, if the Makefile is buggy, make is unable to generate it).

In short: edit cimula.mlp, not Why is cimula.mlp needed? Three lines in are used to save a snapshot. But this require the library Camlimages. If this lib isn't installed, we just want not to save snapshots. So configure sets the variable DEFINE_SAVE_SNAPSHOT in Makefile.config, and is generated from cimla.mlp by campl4. The intermediate file is needed for ocamldoc.