initial support for bytecode compilation

diff --git a/helm/software/helena/.depend.byte b/helm/software/helena/.depend.byte
new file mode 100644 (file)
index 0000000..3ca9da5
--- /dev/null
+++ b/helm/software/helena/.depend.byte
@@ -0,0 +1,295 @@
+src/lib/cps.cmo :
+src/lib/cps.cmx :
+src/lib/share.cmo :
+src/lib/share.cmx :
+src/lib/log.cmi :
+src/lib/log.cmo : src/lib/log.cmi
+src/lib/log.cmx : src/lib/log.cmi
+src/lib/time.cmo : src/lib/log.cmi
+src/lib/time.cmx : src/lib/log.cmx
+src/lib/marks.cmi :
+src/lib/marks.cmo : src/lib/marks.cmi
+src/lib/marks.cmx : src/lib/marks.cmi
+src/common/options.cmo : src/lib/cps.cmo
+src/common/options.cmx : src/lib/cps.cmx
+src/common/hierarchy.cmi :
+src/common/hierarchy.cmo : src/lib/cps.cmo src/common/hierarchy.cmi
+src/common/hierarchy.cmx : src/lib/cps.cmx src/common/hierarchy.cmi
+src/common/layer.cmi :
+src/common/layer.cmo : src/common/options.cmo src/lib/marks.cmi \
+    src/lib/log.cmi src/common/layer.cmi
+src/common/layer.cmx : src/common/options.cmx src/lib/marks.cmx \
+    src/lib/log.cmx src/common/layer.cmi
+src/common/entity.cmo : src/common/layer.cmi
+src/common/entity.cmx : src/common/layer.cmx
+src/common/output.cmi :
+src/common/output.cmo : src/common/options.cmo src/lib/log.cmi \
+    src/common/output.cmi
+src/common/output.cmx : src/common/options.cmx src/lib/log.cmx \
+    src/common/output.cmi
+src/common/alpha.cmi : src/common/entity.cmo
+src/common/alpha.cmo : src/common/entity.cmo src/common/alpha.cmi
+src/common/alpha.cmx : src/common/entity.cmx src/common/alpha.cmi
+src/complete_rg/crg.cmo : src/common/layer.cmi src/common/entity.cmo \
+    src/lib/cps.cmo
+src/complete_rg/crg.cmx : src/common/layer.cmx src/common/entity.cmx \
+    src/lib/cps.cmx
+src/complete_rg/crgOutput.cmi : src/common/layer.cmi src/complete_rg/crg.cmo
+src/complete_rg/crgOutput.cmo : src/lib/marks.cmi src/lib/log.cmi \
+    src/common/layer.cmi src/common/entity.cmo src/complete_rg/crg.cmo \
+    src/lib/cps.cmo src/complete_rg/crgOutput.cmi
+src/complete_rg/crgOutput.cmx : src/lib/marks.cmx src/lib/log.cmx \
+    src/common/layer.cmx src/common/entity.cmx src/complete_rg/crg.cmx \
+    src/lib/cps.cmx src/complete_rg/crgOutput.cmi
+src/text/txt.cmo : src/common/layer.cmi
+src/text/txt.cmx : src/common/layer.cmx
+src/text/txtParser.cmi : src/text/txt.cmo
+src/text/txtParser.cmo : src/text/txt.cmo src/common/options.cmo \
+    src/common/layer.cmi src/text/txtParser.cmi
+src/text/txtParser.cmx : src/text/txt.cmx src/common/options.cmx \
+    src/common/layer.cmx src/text/txtParser.cmi
+src/text/txtLexer.cmo : src/text/txtParser.cmi src/common/options.cmo \
+    src/lib/log.cmi
+src/text/txtLexer.cmx : src/text/txtParser.cmx src/common/options.cmx \
+    src/lib/log.cmx
+src/text/txtCrg.cmi : src/text/txt.cmo src/complete_rg/crg.cmo
+src/text/txtCrg.cmo : src/text/txt.cmo src/common/options.cmo \
+    src/common/hierarchy.cmi src/common/entity.cmo src/complete_rg/crg.cmo \
+    src/lib/cps.cmo src/text/txtCrg.cmi
+src/text/txtCrg.cmx : src/text/txt.cmx src/common/options.cmx \
+    src/common/hierarchy.cmx src/common/entity.cmx src/complete_rg/crg.cmx \
+    src/lib/cps.cmx src/text/txtCrg.cmi
+src/automath/aut.cmo : src/common/entity.cmo
+src/automath/aut.cmx : src/common/entity.cmx
+src/automath/autProcess.cmi : src/automath/aut.cmo
+src/automath/autProcess.cmo : src/automath/aut.cmo \
+    src/automath/autProcess.cmi
+src/automath/autProcess.cmx : src/automath/aut.cmx \
+    src/automath/autProcess.cmi
+src/automath/autOutput.cmi : src/automath/autProcess.cmi \
+    src/automath/aut.cmo
+src/automath/autOutput.cmo : src/lib/log.cmi src/lib/cps.cmo \
+    src/automath/autProcess.cmi src/automath/aut.cmo \
+    src/automath/autOutput.cmi
+src/automath/autOutput.cmx : src/lib/log.cmx src/lib/cps.cmx \
+    src/automath/autProcess.cmx src/automath/aut.cmx \
+    src/automath/autOutput.cmi
+src/automath/autParser.cmi : src/automath/aut.cmo
+src/automath/autParser.cmo : src/common/options.cmo src/automath/aut.cmo \
+    src/automath/autParser.cmi
+src/automath/autParser.cmx : src/common/options.cmx src/automath/aut.cmx \
+    src/automath/autParser.cmi
+src/automath/autLexer.cmo : src/common/options.cmo src/lib/log.cmi \
+    src/automath/autParser.cmi
+src/automath/autLexer.cmx : src/common/options.cmx src/lib/log.cmx \
+    src/automath/autParser.cmx
+src/automath/autCrg.cmi : src/common/layer.cmi src/complete_rg/crg.cmo \
+    src/automath/aut.cmo
+src/automath/autCrg.cmo : src/common/options.cmo src/common/layer.cmi \
+    src/common/entity.cmo src/complete_rg/crg.cmo src/lib/cps.cmo \
+    src/automath/aut.cmo src/automath/autCrg.cmi
+src/automath/autCrg.cmx : src/common/options.cmx src/common/layer.cmx \
+    src/common/entity.cmx src/complete_rg/crg.cmx src/lib/cps.cmx \
+    src/automath/aut.cmx src/automath/autCrg.cmi
+src/xml/xmlLibrary.cmi : src/common/layer.cmi src/common/entity.cmo
+src/xml/xmlLibrary.cmo : src/common/options.cmo src/common/layer.cmi \
+    src/common/hierarchy.cmi src/common/entity.cmo src/lib/cps.cmo \
+    src/xml/xmlLibrary.cmi
+src/xml/xmlLibrary.cmx : src/common/options.cmx src/common/layer.cmx \
+    src/common/hierarchy.cmx src/common/entity.cmx src/lib/cps.cmx \
+    src/xml/xmlLibrary.cmi
+src/xml/xmlCrg.cmi : src/xml/xmlLibrary.cmi src/common/layer.cmi \
+    src/complete_rg/crg.cmo
+src/xml/xmlCrg.cmo : src/xml/xmlLibrary.cmi src/common/hierarchy.cmi \
+    src/common/entity.cmo src/complete_rg/crg.cmo src/lib/cps.cmo \
+    src/common/alpha.cmi src/xml/xmlCrg.cmi
+src/xml/xmlCrg.cmx : src/xml/xmlLibrary.cmx src/common/hierarchy.cmx \
+    src/common/entity.cmx src/complete_rg/crg.cmx src/lib/cps.cmx \
+    src/common/alpha.cmx src/xml/xmlCrg.cmi
+src/basic_rg/brg.cmo : src/common/layer.cmi src/common/entity.cmo
+src/basic_rg/brg.cmx : src/common/layer.cmx src/common/entity.cmx
+src/basic_rg/brgCrg.cmi : src/complete_rg/crg.cmo src/basic_rg/brg.cmo
+src/basic_rg/brgCrg.cmo : src/common/layer.cmi src/common/entity.cmo \
+    src/complete_rg/crg.cmo src/lib/cps.cmo src/basic_rg/brg.cmo \
+    src/basic_rg/brgCrg.cmi
+src/basic_rg/brgCrg.cmx : src/common/layer.cmx src/common/entity.cmx \
+    src/complete_rg/crg.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
+    src/basic_rg/brgCrg.cmi
+src/basic_rg/brgOutput.cmi : src/xml/xmlLibrary.cmi src/lib/log.cmi \
+    src/common/layer.cmi src/basic_rg/brg.cmo
+src/basic_rg/brgOutput.cmo : src/xml/xmlCrg.cmi src/common/options.cmo \
+    src/lib/log.cmi src/common/layer.cmi src/common/hierarchy.cmi \
+    src/common/entity.cmo src/lib/cps.cmo src/basic_rg/brgCrg.cmi \
+    src/basic_rg/brg.cmo src/common/alpha.cmi src/basic_rg/brgOutput.cmi
+src/basic_rg/brgOutput.cmx : src/xml/xmlCrg.cmx src/common/options.cmx \
+    src/lib/log.cmx src/common/layer.cmx src/common/hierarchy.cmx \
+    src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brgCrg.cmx \
+    src/basic_rg/brg.cmx src/common/alpha.cmx src/basic_rg/brgOutput.cmi
+src/basic_rg/brgEnvironment.cmi : src/basic_rg/brg.cmo
+src/basic_rg/brgEnvironment.cmo : src/common/options.cmo \
+    src/common/entity.cmo src/basic_rg/brgEnvironment.cmi
+src/basic_rg/brgEnvironment.cmx : src/common/options.cmx \
+    src/common/entity.cmx src/basic_rg/brgEnvironment.cmi
+src/basic_rg/brgSubstitution.cmi : src/basic_rg/brg.cmo
+src/basic_rg/brgSubstitution.cmo : src/common/options.cmo \
+    src/basic_rg/brg.cmo src/basic_rg/brgSubstitution.cmi
+src/basic_rg/brgSubstitution.cmx : src/common/options.cmx \
+    src/basic_rg/brg.cmx src/basic_rg/brgSubstitution.cmi
+src/basic_rg/brgReduction.cmi : src/lib/log.cmi src/common/layer.cmi \
+    src/common/entity.cmo src/basic_rg/brg.cmo
+src/basic_rg/brgReduction.cmo : src/lib/share.cmo src/common/output.cmi \
+    src/common/options.cmo src/lib/log.cmi src/common/layer.cmi \
+    src/common/hierarchy.cmi src/common/entity.cmo src/basic_rg/brgOutput.cmi \
+    src/basic_rg/brgEnvironment.cmi src/basic_rg/brg.cmo \
+    src/basic_rg/brgReduction.cmi
+src/basic_rg/brgReduction.cmx : src/lib/share.cmx src/common/output.cmx \
+    src/common/options.cmx src/lib/log.cmx src/common/layer.cmx \
+    src/common/hierarchy.cmx src/common/entity.cmx src/basic_rg/brgOutput.cmx \
+    src/basic_rg/brgEnvironment.cmx src/basic_rg/brg.cmx \
+    src/basic_rg/brgReduction.cmi
+src/basic_rg/brgValidity.cmi : src/common/layer.cmi \
+    src/basic_rg/brgReduction.cmi src/basic_rg/brg.cmo
+src/basic_rg/brgValidity.cmo : src/common/options.cmo src/lib/log.cmi \
+    src/common/layer.cmi src/common/entity.cmo src/basic_rg/brgReduction.cmi \
+    src/basic_rg/brgEnvironment.cmi src/basic_rg/brg.cmo \
+    src/basic_rg/brgValidity.cmi
+src/basic_rg/brgValidity.cmx : src/common/options.cmx src/lib/log.cmx \
+    src/common/layer.cmx src/common/entity.cmx src/basic_rg/brgReduction.cmx \
+    src/basic_rg/brgEnvironment.cmx src/basic_rg/brg.cmx \
+    src/basic_rg/brgValidity.cmi
+src/basic_rg/brgType.cmi : src/common/layer.cmi \
+    src/basic_rg/brgReduction.cmi src/basic_rg/brg.cmo
+src/basic_rg/brgType.cmo : src/lib/share.cmo src/common/options.cmo \
+    src/lib/log.cmi src/common/layer.cmi src/common/hierarchy.cmi \
+    src/common/entity.cmo src/lib/cps.cmo src/basic_rg/brgSubstitution.cmi \
+    src/basic_rg/brgReduction.cmi src/basic_rg/brgEnvironment.cmi \
+    src/basic_rg/brg.cmo src/basic_rg/brgType.cmi
+src/basic_rg/brgType.cmx : src/lib/share.cmx src/common/options.cmx \
+    src/lib/log.cmx src/common/layer.cmx src/common/hierarchy.cmx \
+    src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brgSubstitution.cmx \
+    src/basic_rg/brgReduction.cmx src/basic_rg/brgEnvironment.cmx \
+    src/basic_rg/brg.cmx src/basic_rg/brgType.cmi
+src/basic_rg/brgUntrusted.cmi : src/common/layer.cmi \
+    src/basic_rg/brgReduction.cmi src/basic_rg/brg.cmo
+src/basic_rg/brgUntrusted.cmo : src/lib/log.cmi src/common/entity.cmo \
+    src/basic_rg/brgValidity.cmi src/basic_rg/brgType.cmi \
+    src/basic_rg/brgReduction.cmi src/basic_rg/brgEnvironment.cmi \
+    src/basic_rg/brg.cmo src/basic_rg/brgUntrusted.cmi
+src/basic_rg/brgUntrusted.cmx : src/lib/log.cmx src/common/entity.cmx \
+    src/basic_rg/brgValidity.cmx src/basic_rg/brgType.cmx \
+    src/basic_rg/brgReduction.cmx src/basic_rg/brgEnvironment.cmx \
+    src/basic_rg/brg.cmx src/basic_rg/brgUntrusted.cmi
+src/basic_rg/brgGrafite.cmi :
+src/basic_rg/brgGrafite.cmo : src/common/options.cmo src/common/layer.cmi \
+    src/common/entity.cmo src/lib/cps.cmo src/basic_rg/brg.cmo \
+    src/common/alpha.cmi src/basic_rg/brgGrafite.cmi
+src/basic_rg/brgGrafite.cmx : src/common/options.cmx src/common/layer.cmx \
+    src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
+    src/common/alpha.cmx src/basic_rg/brgGrafite.cmi
+src/basic_rg/brgGallina.cmi :
+src/basic_rg/brgGallina.cmo : src/common/options.cmo src/common/layer.cmi \
+    src/common/entity.cmo src/lib/cps.cmo src/basic_rg/brg.cmo \
+    src/common/alpha.cmi src/basic_rg/brgGallina.cmi
+src/basic_rg/brgGallina.cmx : src/common/options.cmx src/common/layer.cmx \
+    src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
+    src/common/alpha.cmx src/basic_rg/brgGallina.cmi
+src/basic_rg/brgLP.cmi :
+src/basic_rg/brgLP.cmo : src/common/options.cmo src/common/layer.cmi \
+    src/common/entity.cmo src/lib/cps.cmo src/basic_rg/brg.cmo \
+    src/common/alpha.cmi src/basic_rg/brgLP.cmi
+src/basic_rg/brgLP.cmx : src/common/options.cmx src/common/layer.cmx \
+    src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
+    src/common/alpha.cmx src/basic_rg/brgLP.cmi
+src/basic_ag/bag.cmo : src/lib/marks.cmi src/lib/log.cmi \
+    src/common/entity.cmo src/lib/cps.cmo
+src/basic_ag/bag.cmx : src/lib/marks.cmx src/lib/log.cmx \
+    src/common/entity.cmx src/lib/cps.cmx
+src/basic_ag/bagCrg.cmi : src/common/layer.cmi src/complete_rg/crg.cmo \
+    src/basic_ag/bag.cmo
+src/basic_ag/bagCrg.cmo : src/lib/marks.cmi src/common/layer.cmi \
+    src/common/entity.cmo src/complete_rg/crg.cmo src/lib/cps.cmo \
+    src/basic_ag/bag.cmo src/basic_ag/bagCrg.cmi
+src/basic_ag/bagCrg.cmx : src/lib/marks.cmx src/common/layer.cmx \
+    src/common/entity.cmx src/complete_rg/crg.cmx src/lib/cps.cmx \
+    src/basic_ag/bag.cmx src/basic_ag/bagCrg.cmi
+src/basic_ag/bagOutput.cmi : src/xml/xmlLibrary.cmi src/lib/log.cmi \
+    src/common/layer.cmi src/basic_ag/bag.cmo
+src/basic_ag/bagOutput.cmo : src/xml/xmlCrg.cmi src/common/options.cmo \
+    src/lib/marks.cmi src/lib/log.cmi src/common/hierarchy.cmi \
+    src/common/entity.cmo src/basic_ag/bagCrg.cmi src/basic_ag/bag.cmo \
+    src/basic_ag/bagOutput.cmi
+src/basic_ag/bagOutput.cmx : src/xml/xmlCrg.cmx src/common/options.cmx \
+    src/lib/marks.cmx src/lib/log.cmx src/common/hierarchy.cmx \
+    src/common/entity.cmx src/basic_ag/bagCrg.cmx src/basic_ag/bag.cmx \
+    src/basic_ag/bagOutput.cmi
+src/basic_ag/bagEnvironment.cmi : src/basic_ag/bag.cmo
+src/basic_ag/bagEnvironment.cmo : src/common/options.cmo src/lib/log.cmi \
+    src/common/entity.cmo src/basic_ag/bag.cmo \
+    src/basic_ag/bagEnvironment.cmi
+src/basic_ag/bagEnvironment.cmx : src/common/options.cmx src/lib/log.cmx \
+    src/common/entity.cmx src/basic_ag/bag.cmx \
+    src/basic_ag/bagEnvironment.cmi
+src/basic_ag/bagSubstitution.cmi : src/lib/marks.cmi src/basic_ag/bag.cmo
+src/basic_ag/bagSubstitution.cmo : src/lib/share.cmo src/basic_ag/bag.cmo \
+    src/basic_ag/bagSubstitution.cmi
+src/basic_ag/bagSubstitution.cmx : src/lib/share.cmx src/basic_ag/bag.cmx \
+    src/basic_ag/bagSubstitution.cmi
+src/basic_ag/bagReduction.cmi : src/common/layer.cmi src/basic_ag/bag.cmo
+src/basic_ag/bagReduction.cmo : src/common/options.cmo src/lib/marks.cmi \
+    src/lib/log.cmi src/common/entity.cmo src/lib/cps.cmo \
+    src/basic_ag/bagSubstitution.cmi src/basic_ag/bagOutput.cmi \
+    src/basic_ag/bagEnvironment.cmi src/basic_ag/bag.cmo \
+    src/basic_ag/bagReduction.cmi
+src/basic_ag/bagReduction.cmx : src/common/options.cmx src/lib/marks.cmx \
+    src/lib/log.cmx src/common/entity.cmx src/lib/cps.cmx \
+    src/basic_ag/bagSubstitution.cmx src/basic_ag/bagOutput.cmx \
+    src/basic_ag/bagEnvironment.cmx src/basic_ag/bag.cmx \
+    src/basic_ag/bagReduction.cmi
+src/basic_ag/bagType.cmi : src/common/layer.cmi src/basic_ag/bag.cmo
+src/basic_ag/bagType.cmo : src/lib/share.cmo src/common/options.cmo \
+    src/lib/log.cmi src/common/hierarchy.cmi src/common/entity.cmo \
+    src/lib/cps.cmo src/basic_ag/bagReduction.cmi src/basic_ag/bagOutput.cmi \
+    src/basic_ag/bagEnvironment.cmi src/basic_ag/bag.cmo \
+    src/basic_ag/bagType.cmi
+src/basic_ag/bagType.cmx : src/lib/share.cmx src/common/options.cmx \
+    src/lib/log.cmx src/common/hierarchy.cmx src/common/entity.cmx \
+    src/lib/cps.cmx src/basic_ag/bagReduction.cmx src/basic_ag/bagOutput.cmx \
+    src/basic_ag/bagEnvironment.cmx src/basic_ag/bag.cmx \
+    src/basic_ag/bagType.cmi
+src/basic_ag/bagUntrusted.cmi : src/common/layer.cmi src/basic_ag/bag.cmo
+src/basic_ag/bagUntrusted.cmo : src/lib/log.cmi src/common/entity.cmo \
+    src/basic_ag/bagType.cmi src/basic_ag/bagEnvironment.cmi \
+    src/basic_ag/bag.cmo src/basic_ag/bagUntrusted.cmi
+src/basic_ag/bagUntrusted.cmx : src/lib/log.cmx src/common/entity.cmx \
+    src/basic_ag/bagType.cmx src/basic_ag/bagEnvironment.cmx \
+    src/basic_ag/bag.cmx src/basic_ag/bagUntrusted.cmi
+src/toplevel/top.cmo : src/xml/xmlLibrary.cmi src/xml/xmlCrg.cmi \
+    src/text/txtParser.cmi src/text/txtLexer.cmo src/text/txtCrg.cmi \
+    src/text/txt.cmo src/lib/time.cmo src/common/output.cmi \
+    src/common/options.cmo src/lib/marks.cmi src/lib/log.cmi \
+    src/common/layer.cmi src/common/hierarchy.cmi src/common/entity.cmo \
+    src/complete_rg/crgOutput.cmi src/complete_rg/crg.cmo src/lib/cps.cmo \
+    src/basic_rg/brgUntrusted.cmi src/basic_rg/brgReduction.cmi \
+    src/basic_rg/brgOutput.cmi src/basic_rg/brgLP.cmi \
+    src/basic_rg/brgGrafite.cmi src/basic_rg/brgGallina.cmi \
+    src/basic_rg/brgCrg.cmi src/basic_rg/brg.cmo \
+    src/basic_ag/bagUntrusted.cmi src/basic_ag/bagType.cmi \
+    src/basic_ag/bagOutput.cmi src/basic_ag/bagCrg.cmi src/basic_ag/bag.cmo \
+    src/automath/autProcess.cmi src/automath/autParser.cmi \
+    src/automath/autOutput.cmi src/automath/autLexer.cmo \
+    src/automath/autCrg.cmi src/automath/aut.cmo
+src/toplevel/top.cmx : src/xml/xmlLibrary.cmx src/xml/xmlCrg.cmx \
+    src/text/txtParser.cmx src/text/txtLexer.cmx src/text/txtCrg.cmx \
+    src/text/txt.cmx src/lib/time.cmx src/common/output.cmx \
+    src/common/options.cmx src/lib/marks.cmx src/lib/log.cmx \
+    src/common/layer.cmx src/common/hierarchy.cmx src/common/entity.cmx \
+    src/complete_rg/crgOutput.cmx src/complete_rg/crg.cmx src/lib/cps.cmx \
+    src/basic_rg/brgUntrusted.cmx src/basic_rg/brgReduction.cmx \
+    src/basic_rg/brgOutput.cmx src/basic_rg/brgLP.cmx \
+    src/basic_rg/brgGrafite.cmx src/basic_rg/brgGallina.cmx \
+    src/basic_rg/brgCrg.cmx src/basic_rg/brg.cmx \
+    src/basic_ag/bagUntrusted.cmx src/basic_ag/bagType.cmx \
+    src/basic_ag/bagOutput.cmx src/basic_ag/bagCrg.cmx src/basic_ag/bag.cmx \
+    src/automath/autProcess.cmx src/automath/autParser.cmx \
+    src/automath/autOutput.cmx src/automath/autLexer.cmx \
+    src/automath/autCrg.cmx src/automath/aut.cmx

diff --git a/helm/software/helena/.depend.opt b/helm/software/helena/.depend.opt
index ea95cf09bb378061b30cc4296b8c86ea8d3b700e..dfad373a1dee2818d64b759ed4d7dd42a5dabca4 100644 (file)
--- a/helm/software/helena/.depend.opt
+++ b/helm/software/helena/.depend.opt
@@ -179,21 +179,21 @@ src/basic_rg/brgUntrusted.cmx : src/lib/log.cmx src/common/entity.cmx \
     src/basic_rg/brgValidity.cmx src/basic_rg/brgType.cmx \
     src/basic_rg/brgReduction.cmx src/basic_rg/brgEnvironment.cmx \
     src/basic_rg/brg.cmx src/basic_rg/brgUntrusted.cmi
-src/basic_rg/brgGrafite.cmi : src/basic_rg/brg.cmx
+src/basic_rg/brgGrafite.cmi :
 src/basic_rg/brgGrafite.cmo : src/common/options.cmx src/common/layer.cmi \
     src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
     src/common/alpha.cmi src/basic_rg/brgGrafite.cmi
 src/basic_rg/brgGrafite.cmx : src/common/options.cmx src/common/layer.cmx \
     src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
     src/common/alpha.cmx src/basic_rg/brgGrafite.cmi
-src/basic_rg/brgGallina.cmi : src/basic_rg/brg.cmx
+src/basic_rg/brgGallina.cmi :
 src/basic_rg/brgGallina.cmo : src/common/options.cmx src/common/layer.cmi \
     src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
     src/common/alpha.cmi src/basic_rg/brgGallina.cmi
 src/basic_rg/brgGallina.cmx : src/common/options.cmx src/common/layer.cmx \
     src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
     src/common/alpha.cmx src/basic_rg/brgGallina.cmi
-src/basic_rg/brgLP.cmi : src/basic_rg/brg.cmx
+src/basic_rg/brgLP.cmi :
 src/basic_rg/brgLP.cmo : src/common/options.cmx src/common/layer.cmi \
     src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
     src/common/alpha.cmi src/basic_rg/brgLP.cmi

diff --git a/helm/software/helena/Makefile.common b/helm/software/helena/Makefile.common
index 0fdcc05d6342830d8a71edd530811461a293a9c7..6845800d5653f24dc5430cb8243a1fccae4dfad5 100644 (file)
--- a/helm/software/helena/Makefile.common
+++ b/helm/software/helena/Makefile.common
@@ -17,8 +17,9 @@ CAMLP = -pp "camlp5o pa_macro.cmo $(CAMLPOPTIONS)"
 
 CAMLPOPTIONS = $(F:%=-D%)
 
-OCAMLDEP  = $(OCAMLFIND) ocamldep $(CAMLP) -native $(INCLUDES)
-OCAMLOPT  = $(OCAMLFIND) opt $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES)
+OCAMLDEP  = $(OCAMLFIND) ocamldep $(CAMLP) $(INCLUDES)
+OCAMLOPT  = $(OCAMLFIND) ocamlopt $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES)
+OCAMLC    = $(OCAMLFIND) ocamlc $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES)
 OCAMLLEX  = ocamllex.opt
 OCAMLYACC = ocamlyacc -v
 TAR       = tar -czf etc/$(MAIN:%=%.tgz)
@@ -30,7 +31,8 @@ endef
 define MOD_TEMPLATE
    SOURCES += $$(if $$(wildcard $(1).ml[yi]),$(1).mli $(1).ml,$(1).ml)  
    CMXS    += $(1).cmx
-   CLEAN   += $(1).cmi $(1).cmx $(1).o 
+   CMOS    += $(1).cmo
+   CLEAN   += $(1).cmi $(1).cmx $(1).o $(1).cmo
    CLEAN   += $$(if $$(wildcard $(1).ml[ly]),$(1).ml,)
    CLEAN   += $$(if $$(wildcard $(1).mly),$(1).mli $(1).output,)
    KEEP    += $$(if $$(wildcard $(1).mly),$(1).mly,\
@@ -40,28 +42,54 @@ define MOD_TEMPLATE
              )
 endef
 
-define INCLUDE_TEMPLATE
+define INCLUDE_O_TEMPLATE
    ifeq ($(MAKECMDGOALS), $(1))
-      include .depend.opt
+%.cmi: %.mli
+       @echo "  OCAMLOPT $$<"
+       $$(H)$(OCAMLOPT) -c $$<
+
+include .depend.opt
+   endif
+endef
+
+define INCLUDE_B_TEMPLATE
+   ifeq ($(MAKECMDGOALS), $(1))
+%.cmi: %.mli
+       @echo "  OCAMLC $$<"
+       $$(H)$(OCAMLC) -c $$<
+
+include .depend.byte
    endif
 endef
 
 $(foreach DIR, $(DIRECTORIES), $(eval $(call DIR_TEMPLATE, $(DIR))))
 $(foreach MOD, $(MODULES), $(eval $(call MOD_TEMPLATE, $(MOD))))
+O_OBJECTS = $(patsubst %.ml,%.cmx,$(SOURCES:%.mli=%.cmi))
+B_OBJECTS = $(patsubst %.ml,%.cmo,$(SOURCES:%.mli=%.cmi))
 
-OBJECTS = $(patsubst %.ml,%.cmx,$(SOURCES:%.mli=%.cmi))
 CLEAN += $(MAIN).opt
 
 all opt: .depend.opt
        @$(MAKE) --no-print-directory $(MAIN).opt
 
-$(MAIN).opt: $(OBJECTS)
+byte: .depend.byte
+       @$(MAKE) --no-print-directory $(MAIN).byte
+
+$(MAIN).opt: $(O_OBJECTS)
        @echo "  OCAMLOPT -o $(MAIN).opt"
        $(H)$(OCAMLOPT) -o $(MAIN).opt $(CMXS)
 
+$(MAIN).byte: $(B_OBJECTS)
+       @echo "  OCAMC -o $(MAIN).byte"
+       $(H)$(OCAMLC) -o $(MAIN).byte $(CMOS)
+
 .depend.opt: $(SOURCES) 
        @echo "  OCAMLDEP -native"
-       $(H)$(OCAMLDEP) $^ > .depend.opt
+       $(H)$(OCAMLDEP) -native $^ > .depend.opt
+
+.depend.byte: $(SOURCES) 
+       @echo "  OCAMLDEP -byte"
+       $(H)$(OCAMLDEP) $^ > .depend.byte
 
 clean:
        @echo "  CLEAN . $(SRC)"
@@ -88,13 +116,17 @@ etc:
 %.ml: %.mll
        @echo "  OCAMLLEX $<"
        $(H)$(OCAMLLEX) $<
-%.cmi: %.mli
-       @echo "  OCAMLOPT $<"
-       $(H)$(OCAMLOPT) -c $<
 %.cmx: %.ml
        @echo "  OCAMLOPT $<"
        $(H)$(OCAMLOPT) -c $<
+%.cmo: %.ml
+       @echo "  OCAMLC $<"
+       $(H)$(OCAMLC) -c $<
+
+O_TAGS += all opt $(MAIN).opt
+
+B_TAGS += byte $(MAIN).byte
 
-TAGS += all opt $(MAIN).opt
+$(foreach TAG, $(O_TAGS), $(eval $(call INCLUDE_O_TEMPLATE, $(TAG))))
 
-$(foreach TAG, $(TAGS), $(eval $(call INCLUDE_TEMPLATE, $(TAG))))
+$(foreach TAG, $(B_TAGS), $(eval $(call INCLUDE_B_TEMPLATE, $(TAG))))