From: Ferruccio Guidi Date: Thu, 2 Jul 2015 21:27:48 +0000 (+0000) Subject: initial support for bytecode compilation X-Git-Tag: make_still_working~712 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=14803d30dc98bcb4804c629341373dbc0ec6b1ef;p=helm.git initial support for bytecode compilation --- diff --git a/helm/software/helena/.depend.byte b/helm/software/helena/.depend.byte new file mode 100644 index 000000000..3ca9da5a8 --- /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 ea95cf09b..dfad373a1 100644 --- 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 0fdcc05d6..6845800d5 100644 --- 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))))