Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit a97ec002 authored by Francois Bobot's avatar Francois Bobot
Browse files

correct the make -j :

Multi-target is required for ocamlyacc but is counterproductive for ocamlc.
This is due to ocamldep which declare .cmi as dependencies only when
a .mli file exists.

That work one day because %.cmi was wrongly spelled %cmi, after the
spelling correction that doesn't work anymore. Until now :)

The last commit is also an improvement for -j
parent 3e5341b3
......@@ -804,7 +804,7 @@ clean::
%.cmi: %.mli
$(if $(QUIET),@echo 'Ocamlc $<' &&) $(OCAMLC) -c $(BFLAGS) $<
%.cmo %.cmi: %.ml
%.cmo: %.ml
$(if $(QUIET),@echo 'Ocamlc $<' &&) $(OCAMLC) -c $(BFLAGS) $<
%.cmx: %.ml
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment