From fb74956a335a9cc38a6ced92e16256f10c4eed6e Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 6 Aug 2010 11:49:10 +0000 Subject: [PATCH] new module "xml" devoted to xml I/O --- helm/software/lambda-delta/.depend.opt | 590 ++++++++---------- helm/software/lambda-delta/Makefile | 4 + helm/software/lambda-delta/Makefile.common | 3 +- helm/software/lambda-delta/src/Make | 2 +- helm/software/lambda-delta/src/basic_rg/Make | 2 +- .../crgBrg.ml => basic_rg/brgCrg.ml} | 0 .../crgBrg.mli => basic_rg/brgCrg.mli} | 0 .../lambda-delta/src/complete_rg/Make | 2 +- .../{complete_rg/crgXml.ml => xml/XmlCrg.ml} | 0 .../crgXml.mli => xml/XmlCrg.mli} | 0 .../{common/library.ml => xml/XmlLibrary.ml} | 0 .../library.mli => xml/XmlLibrary.mli} | 0 12 files changed, 266 insertions(+), 337 deletions(-) rename helm/software/lambda-delta/src/{complete_rg/crgBrg.ml => basic_rg/brgCrg.ml} (100%) rename helm/software/lambda-delta/src/{complete_rg/crgBrg.mli => basic_rg/brgCrg.mli} (100%) rename helm/software/lambda-delta/src/{complete_rg/crgXml.ml => xml/XmlCrg.ml} (100%) rename helm/software/lambda-delta/src/{complete_rg/crgXml.mli => xml/XmlCrg.mli} (100%) rename helm/software/lambda-delta/src/{common/library.ml => xml/XmlLibrary.ml} (100%) rename helm/software/lambda-delta/src/{common/library.mli => xml/XmlLibrary.mli} (100%) diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt index 26f2d959c..c6e6ac189 100644 --- a/helm/software/lambda-delta/.depend.opt +++ b/helm/software/lambda-delta/.depend.opt @@ -1,332 +1,258 @@ -components/lib/cps.cmo: -components/lib/cps.cmx: -components/lib/share.cmo: -components/lib/share.cmx: -components/lib/log.cmi: -components/lib/log.cmo: components/lib/cps.cmx components/lib/log.cmi -components/lib/log.cmx: components/lib/cps.cmx components/lib/log.cmi -components/lib/time.cmo: components/lib/log.cmi -components/lib/time.cmx: components/lib/log.cmx -components/common/options.cmo: components/lib/cps.cmx -components/common/options.cmx: components/lib/cps.cmx -components/common/hierarchy.cmi: -components/common/hierarchy.cmo: components/lib/cps.cmx \ - components/common/hierarchy.cmi -components/common/hierarchy.cmx: components/lib/cps.cmx \ - components/common/hierarchy.cmi -components/common/output.cmi: -components/common/output.cmo: components/common/options.cmx \ - components/lib/log.cmi components/common/output.cmi -components/common/output.cmx: components/common/options.cmx \ - components/lib/log.cmx components/common/output.cmi -components/common/entity.cmo: components/common/options.cmx \ - components/automath/aut.cmx -components/common/entity.cmx: components/common/options.cmx \ - components/automath/aut.cmx -components/common/marks.cmo: components/common/entity.cmx -components/common/marks.cmx: components/common/entity.cmx -components/common/alpha.cmi: components/common/entity.cmx -components/common/alpha.cmo: components/common/entity.cmx \ - components/common/alpha.cmi -components/common/alpha.cmx: components/common/entity.cmx \ - components/common/alpha.cmi -components/common/library.cmi: components/common/entity.cmx -components/common/library.cmo: components/common/hierarchy.cmi \ - components/common/entity.cmx components/lib/cps.cmx \ - components/common/library.cmi -components/common/library.cmx: components/common/hierarchy.cmx \ - components/common/entity.cmx components/lib/cps.cmx \ - components/common/library.cmi -components/text/txt.cmo: -components/text/txt.cmx: -components/text/txtParser.cmi: components/text/txt.cmx -components/text/txtParser.cmo: components/text/txt.cmx \ - components/common/options.cmx components/text/txtParser.cmi -components/text/txtParser.cmx: components/text/txt.cmx \ - components/common/options.cmx components/text/txtParser.cmi -components/text/txtLexer.cmo: components/text/txtParser.cmi \ - components/common/options.cmx components/lib/log.cmi -components/text/txtLexer.cmx: components/text/txtParser.cmx \ - components/common/options.cmx components/lib/log.cmx -components/text/txtTxt.cmi: components/text/txt.cmx -components/text/txtTxt.cmo: components/text/txt.cmx components/lib/cps.cmx \ - components/text/txtTxt.cmi -components/text/txtTxt.cmx: components/text/txt.cmx components/lib/cps.cmx \ - components/text/txtTxt.cmi -components/automath/aut.cmo: -components/automath/aut.cmx: -components/automath/autProcess.cmi: components/automath/aut.cmx -components/automath/autProcess.cmo: components/automath/aut.cmx \ - components/automath/autProcess.cmi -components/automath/autProcess.cmx: components/automath/aut.cmx \ - components/automath/autProcess.cmi -components/automath/autOutput.cmi: components/automath/autProcess.cmi \ - components/automath/aut.cmx -components/automath/autOutput.cmo: components/lib/log.cmi \ - components/lib/cps.cmx components/automath/autProcess.cmi \ - components/automath/aut.cmx components/automath/autOutput.cmi -components/automath/autOutput.cmx: components/lib/log.cmx \ - components/lib/cps.cmx components/automath/autProcess.cmx \ - components/automath/aut.cmx components/automath/autOutput.cmi -components/automath/autParser.cmi: components/automath/aut.cmx -components/automath/autParser.cmo: components/common/options.cmx \ - components/automath/aut.cmx components/automath/autParser.cmi -components/automath/autParser.cmx: components/common/options.cmx \ - components/automath/aut.cmx components/automath/autParser.cmi -components/automath/autLexer.cmo: components/common/options.cmx \ - components/lib/log.cmi components/automath/autParser.cmi -components/automath/autLexer.cmx: components/common/options.cmx \ - components/lib/log.cmx components/automath/autParser.cmx -components/basic_ag/bag.cmo: components/lib/log.cmi \ - components/common/entity.cmx components/lib/cps.cmx -components/basic_ag/bag.cmx: components/lib/log.cmx \ - components/common/entity.cmx components/lib/cps.cmx -components/basic_ag/bagOutput.cmi: components/lib/log.cmi \ - components/basic_ag/bag.cmx -components/basic_ag/bagOutput.cmo: components/common/options.cmx \ - components/lib/log.cmi components/common/hierarchy.cmi \ - components/common/entity.cmx components/basic_ag/bag.cmx \ - components/basic_ag/bagOutput.cmi -components/basic_ag/bagOutput.cmx: components/common/options.cmx \ - components/lib/log.cmx components/common/hierarchy.cmx \ - components/common/entity.cmx components/basic_ag/bag.cmx \ - components/basic_ag/bagOutput.cmi -components/basic_ag/bagEnvironment.cmi: components/basic_ag/bag.cmx -components/basic_ag/bagEnvironment.cmo: components/lib/log.cmi \ - components/common/entity.cmx components/basic_ag/bag.cmx \ - components/basic_ag/bagEnvironment.cmi -components/basic_ag/bagEnvironment.cmx: components/lib/log.cmx \ - components/common/entity.cmx components/basic_ag/bag.cmx \ - components/basic_ag/bagEnvironment.cmi -components/basic_ag/bagSubstitution.cmi: components/basic_ag/bag.cmx -components/basic_ag/bagSubstitution.cmo: components/lib/share.cmx \ - components/basic_ag/bag.cmx components/basic_ag/bagSubstitution.cmi -components/basic_ag/bagSubstitution.cmx: components/lib/share.cmx \ - components/basic_ag/bag.cmx components/basic_ag/bagSubstitution.cmi -components/basic_ag/bagReduction.cmi: components/basic_ag/bag.cmx -components/basic_ag/bagReduction.cmo: components/lib/log.cmi \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_ag/bagSubstitution.cmi components/basic_ag/bagOutput.cmi \ - components/basic_ag/bagEnvironment.cmi components/basic_ag/bag.cmx \ - components/basic_ag/bagReduction.cmi -components/basic_ag/bagReduction.cmx: components/lib/log.cmx \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_ag/bagSubstitution.cmx components/basic_ag/bagOutput.cmx \ - components/basic_ag/bagEnvironment.cmx components/basic_ag/bag.cmx \ - components/basic_ag/bagReduction.cmi -components/basic_ag/bagType.cmi: components/common/entity.cmx \ - components/basic_ag/bag.cmx -components/basic_ag/bagType.cmo: components/lib/share.cmx \ - components/lib/log.cmi components/common/hierarchy.cmi \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_ag/bagReduction.cmi components/basic_ag/bagOutput.cmi \ - components/basic_ag/bagEnvironment.cmi components/basic_ag/bag.cmx \ - components/basic_ag/bagType.cmi -components/basic_ag/bagType.cmx: components/lib/share.cmx \ - components/lib/log.cmx components/common/hierarchy.cmx \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_ag/bagReduction.cmx components/basic_ag/bagOutput.cmx \ - components/basic_ag/bagEnvironment.cmx components/basic_ag/bag.cmx \ - components/basic_ag/bagType.cmi -components/basic_ag/bagUntrusted.cmi: components/common/entity.cmx \ - components/basic_ag/bag.cmx -components/basic_ag/bagUntrusted.cmo: components/lib/log.cmi \ - components/common/entity.cmx components/basic_ag/bagType.cmi \ - components/basic_ag/bagEnvironment.cmi components/basic_ag/bag.cmx \ - components/basic_ag/bagUntrusted.cmi -components/basic_ag/bagUntrusted.cmx: components/lib/log.cmx \ - components/common/entity.cmx components/basic_ag/bagType.cmx \ - components/basic_ag/bagEnvironment.cmx components/basic_ag/bag.cmx \ - components/basic_ag/bagUntrusted.cmi -components/basic_rg/brg.cmo: components/common/entity.cmx -components/basic_rg/brg.cmx: components/common/entity.cmx -components/basic_rg/brgOutput.cmi: components/lib/log.cmi \ - components/common/library.cmi components/basic_rg/brg.cmx -components/basic_rg/brgOutput.cmo: components/common/options.cmx \ - components/lib/log.cmi components/common/library.cmi \ - components/common/hierarchy.cmi components/common/entity.cmx \ - components/lib/cps.cmx components/basic_rg/brg.cmx \ - components/basic_rg/brgOutput.cmi -components/basic_rg/brgOutput.cmx: components/common/options.cmx \ - components/lib/log.cmx components/common/library.cmx \ - components/common/hierarchy.cmx components/common/entity.cmx \ - components/lib/cps.cmx components/basic_rg/brg.cmx \ - components/basic_rg/brgOutput.cmi -components/basic_rg/brgEnvironment.cmi: components/basic_rg/brg.cmx -components/basic_rg/brgEnvironment.cmo: components/common/entity.cmx \ - components/basic_rg/brg.cmx components/basic_rg/brgEnvironment.cmi -components/basic_rg/brgEnvironment.cmx: components/common/entity.cmx \ - components/basic_rg/brg.cmx components/basic_rg/brgEnvironment.cmi -components/basic_rg/brgSubstitution.cmi: components/basic_rg/brg.cmx -components/basic_rg/brgSubstitution.cmo: components/basic_rg/brg.cmx \ - components/basic_rg/brgSubstitution.cmi -components/basic_rg/brgSubstitution.cmx: components/basic_rg/brg.cmx \ - components/basic_rg/brgSubstitution.cmi -components/basic_rg/brgReduction.cmi: components/lib/log.cmi \ - components/common/entity.cmx components/basic_rg/brg.cmx -components/basic_rg/brgReduction.cmo: components/lib/share.cmx \ - components/common/output.cmi components/lib/log.cmi \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_rg/brgOutput.cmi components/basic_rg/brgEnvironment.cmi \ - components/basic_rg/brg.cmx components/basic_rg/brgReduction.cmi -components/basic_rg/brgReduction.cmx: components/lib/share.cmx \ - components/common/output.cmx components/lib/log.cmx \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_rg/brgOutput.cmx components/basic_rg/brgEnvironment.cmx \ - components/basic_rg/brg.cmx components/basic_rg/brgReduction.cmi -components/basic_rg/brgType.cmi: components/lib/log.cmi \ - components/common/entity.cmx components/basic_rg/brgReduction.cmi \ - components/basic_rg/brg.cmx -components/basic_rg/brgType.cmo: components/lib/share.cmx \ - components/lib/log.cmi components/common/hierarchy.cmi \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_rg/brgSubstitution.cmi \ - components/basic_rg/brgReduction.cmi components/basic_rg/brgOutput.cmi \ - components/basic_rg/brgEnvironment.cmi components/basic_rg/brg.cmx \ - components/basic_rg/brgType.cmi -components/basic_rg/brgType.cmx: components/lib/share.cmx \ - components/lib/log.cmx components/common/hierarchy.cmx \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_rg/brgSubstitution.cmx \ - components/basic_rg/brgReduction.cmx components/basic_rg/brgOutput.cmx \ - components/basic_rg/brgEnvironment.cmx components/basic_rg/brg.cmx \ - components/basic_rg/brgType.cmi -components/basic_rg/brgUntrusted.cmi: components/common/entity.cmx \ - components/basic_rg/brgType.cmi components/basic_rg/brg.cmx -components/basic_rg/brgUntrusted.cmo: components/lib/log.cmi \ - components/common/entity.cmx components/basic_rg/brgType.cmi \ - components/basic_rg/brgReduction.cmi \ - components/basic_rg/brgEnvironment.cmi components/basic_rg/brg.cmx \ - components/basic_rg/brgUntrusted.cmi -components/basic_rg/brgUntrusted.cmx: components/lib/log.cmx \ - components/common/entity.cmx components/basic_rg/brgType.cmx \ - components/basic_rg/brgReduction.cmx \ - components/basic_rg/brgEnvironment.cmx components/basic_rg/brg.cmx \ - components/basic_rg/brgUntrusted.cmi -components/complete_rg/crg.cmo: components/common/entity.cmx -components/complete_rg/crg.cmx: components/common/entity.cmx -components/complete_rg/crgOutput.cmi: components/complete_rg/crg.cmx -components/complete_rg/crgOutput.cmo: components/common/hierarchy.cmi \ - components/common/entity.cmx components/complete_rg/crg.cmx \ - components/lib/cps.cmx components/complete_rg/crgOutput.cmi -components/complete_rg/crgOutput.cmx: components/common/hierarchy.cmx \ - components/common/entity.cmx components/complete_rg/crg.cmx \ - components/lib/cps.cmx components/complete_rg/crgOutput.cmi -components/complete_rg/crgXml.cmi: components/common/library.cmi \ - components/complete_rg/crg.cmx -components/complete_rg/crgXml.cmo: components/common/library.cmi \ - components/common/hierarchy.cmi components/common/entity.cmx \ - components/complete_rg/crg.cmx components/lib/cps.cmx \ - components/common/alpha.cmi components/complete_rg/crgXml.cmi -components/complete_rg/crgXml.cmx: components/common/library.cmx \ - components/common/hierarchy.cmx components/common/entity.cmx \ - components/complete_rg/crg.cmx components/lib/cps.cmx \ - components/common/alpha.cmx components/complete_rg/crgXml.cmi -components/complete_rg/crgTxt.cmi: components/text/txt.cmx \ - components/complete_rg/crg.cmx -components/complete_rg/crgTxt.cmo: components/text/txtTxt.cmi \ - components/text/txt.cmx components/common/options.cmx \ - components/common/hierarchy.cmi components/common/entity.cmx \ - components/complete_rg/crg.cmx components/lib/cps.cmx \ - components/complete_rg/crgTxt.cmi -components/complete_rg/crgTxt.cmx: components/text/txtTxt.cmx \ - components/text/txt.cmx components/common/options.cmx \ - components/common/hierarchy.cmx components/common/entity.cmx \ - components/complete_rg/crg.cmx components/lib/cps.cmx \ - components/complete_rg/crgTxt.cmi -components/complete_rg/crgAut.cmi: components/complete_rg/crg.cmx \ - components/automath/aut.cmx -components/complete_rg/crgAut.cmo: components/common/options.cmx \ - components/common/entity.cmx components/complete_rg/crg.cmx \ - components/lib/cps.cmx components/automath/aut.cmx \ - components/complete_rg/crgAut.cmi -components/complete_rg/crgAut.cmx: components/common/options.cmx \ - components/common/entity.cmx components/complete_rg/crg.cmx \ - components/lib/cps.cmx components/automath/aut.cmx \ - components/complete_rg/crgAut.cmi -components/complete_rg/crgBrg.cmi: components/complete_rg/crg.cmx \ - components/basic_rg/brg.cmx -components/complete_rg/crgBrg.cmo: components/common/marks.cmx \ - components/common/entity.cmx components/complete_rg/crg.cmx \ - components/lib/cps.cmx components/basic_rg/brg.cmx \ - components/complete_rg/crgBrg.cmi -components/complete_rg/crgBrg.cmx: components/common/marks.cmx \ - components/common/entity.cmx components/complete_rg/crg.cmx \ - components/lib/cps.cmx components/basic_rg/brg.cmx \ - components/complete_rg/crgBrg.cmi -components/toplevel/meta.cmo: components/common/entity.cmx -components/toplevel/meta.cmx: components/common/entity.cmx -components/toplevel/metaOutput.cmi: components/toplevel/meta.cmx -components/toplevel/metaOutput.cmo: components/toplevel/meta.cmx \ - components/lib/log.cmi components/common/entity.cmx \ - components/lib/cps.cmx components/toplevel/metaOutput.cmi -components/toplevel/metaOutput.cmx: components/toplevel/meta.cmx \ - components/lib/log.cmx components/common/entity.cmx \ - components/lib/cps.cmx components/toplevel/metaOutput.cmi -components/toplevel/metaLibrary.cmi: components/toplevel/meta.cmx -components/toplevel/metaLibrary.cmo: components/toplevel/metaOutput.cmi \ - components/toplevel/metaLibrary.cmi -components/toplevel/metaLibrary.cmx: components/toplevel/metaOutput.cmx \ - components/toplevel/metaLibrary.cmi -components/toplevel/metaAut.cmi: components/toplevel/meta.cmx \ - components/automath/aut.cmx -components/toplevel/metaAut.cmo: components/common/options.cmx \ - components/toplevel/meta.cmx components/common/entity.cmx \ - components/lib/cps.cmx components/automath/aut.cmx \ - components/toplevel/metaAut.cmi -components/toplevel/metaAut.cmx: components/common/options.cmx \ - components/toplevel/meta.cmx components/common/entity.cmx \ - components/lib/cps.cmx components/automath/aut.cmx \ - components/toplevel/metaAut.cmi -components/toplevel/metaBag.cmi: components/toplevel/meta.cmx \ - components/basic_ag/bag.cmx -components/toplevel/metaBag.cmo: components/toplevel/meta.cmx \ - components/lib/cps.cmx components/basic_ag/bag.cmx \ - components/toplevel/metaBag.cmi -components/toplevel/metaBag.cmx: components/toplevel/meta.cmx \ - components/lib/cps.cmx components/basic_ag/bag.cmx \ - components/toplevel/metaBag.cmi -components/toplevel/metaBrg.cmi: components/toplevel/meta.cmx \ - components/basic_rg/brg.cmx -components/toplevel/metaBrg.cmo: components/toplevel/meta.cmx \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_rg/brg.cmx components/toplevel/metaBrg.cmi -components/toplevel/metaBrg.cmx: components/toplevel/meta.cmx \ - components/common/entity.cmx components/lib/cps.cmx \ - components/basic_rg/brg.cmx components/toplevel/metaBrg.cmi -components/toplevel/top.cmo: components/text/txtParser.cmi \ - components/text/txtLexer.cmx components/text/txt.cmx \ - components/lib/time.cmx components/common/output.cmi \ - components/common/options.cmx components/toplevel/metaOutput.cmi \ - components/toplevel/metaLibrary.cmi components/toplevel/metaBrg.cmi \ - components/toplevel/metaBag.cmi components/toplevel/metaAut.cmi \ - components/toplevel/meta.cmx components/lib/log.cmi \ - components/common/library.cmi components/common/hierarchy.cmi \ - components/common/entity.cmx components/complete_rg/crgXml.cmi \ - components/complete_rg/crgTxt.cmi components/complete_rg/crgBrg.cmi \ - components/complete_rg/crgAut.cmi components/complete_rg/crg.cmx \ - components/lib/cps.cmx components/basic_rg/brgUntrusted.cmi \ - components/basic_rg/brgReduction.cmi components/basic_rg/brgOutput.cmi \ - components/basic_rg/brg.cmx components/basic_ag/bagUntrusted.cmi \ - components/basic_ag/bagType.cmi components/basic_ag/bagOutput.cmi \ - components/basic_ag/bag.cmx components/automath/autProcess.cmi \ - components/automath/autParser.cmi components/automath/autOutput.cmi \ - components/automath/autLexer.cmx components/automath/aut.cmx -components/toplevel/top.cmx: components/text/txtParser.cmx \ - components/text/txtLexer.cmx components/text/txt.cmx \ - components/lib/time.cmx components/common/output.cmx \ - components/common/options.cmx components/toplevel/metaOutput.cmx \ - components/toplevel/metaLibrary.cmx components/toplevel/metaBrg.cmx \ - components/toplevel/metaBag.cmx components/toplevel/metaAut.cmx \ - components/toplevel/meta.cmx components/lib/log.cmx \ - components/common/library.cmx components/common/hierarchy.cmx \ - components/common/entity.cmx components/complete_rg/crgXml.cmx \ - components/complete_rg/crgTxt.cmx components/complete_rg/crgBrg.cmx \ - components/complete_rg/crgAut.cmx components/complete_rg/crg.cmx \ - components/lib/cps.cmx components/basic_rg/brgUntrusted.cmx \ - components/basic_rg/brgReduction.cmx components/basic_rg/brgOutput.cmx \ - components/basic_rg/brg.cmx components/basic_ag/bagUntrusted.cmx \ - components/basic_ag/bagType.cmx components/basic_ag/bagOutput.cmx \ - components/basic_ag/bag.cmx components/automath/autProcess.cmx \ - components/automath/autParser.cmx components/automath/autOutput.cmx \ - components/automath/autLexer.cmx components/automath/aut.cmx +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/cps.cmx src/lib/log.cmi +src/lib/log.cmx: src/lib/cps.cmx src/lib/log.cmi +src/lib/time.cmo: src/lib/log.cmi +src/lib/time.cmx: src/lib/log.cmx +src/common/options.cmo: src/lib/cps.cmx +src/common/options.cmx: src/lib/cps.cmx +src/common/hierarchy.cmi: +src/common/hierarchy.cmo: src/lib/cps.cmx src/common/hierarchy.cmi +src/common/hierarchy.cmx: src/lib/cps.cmx src/common/hierarchy.cmi +src/common/output.cmi: +src/common/output.cmo: src/common/options.cmx 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/entity.cmo: src/common/options.cmx src/automath/aut.cmx +src/common/entity.cmx: src/common/options.cmx src/automath/aut.cmx +src/common/marks.cmo: src/common/entity.cmx +src/common/marks.cmx: src/common/entity.cmx +src/common/alpha.cmi: src/common/entity.cmx +src/common/alpha.cmo: src/common/entity.cmx src/common/alpha.cmi +src/common/alpha.cmx: src/common/entity.cmx src/common/alpha.cmi +src/common/library.cmi: src/common/entity.cmx +src/common/library.cmo: src/common/hierarchy.cmi src/common/entity.cmx \ + src/lib/cps.cmx src/common/library.cmi +src/common/library.cmx: src/common/hierarchy.cmx src/common/entity.cmx \ + src/lib/cps.cmx src/common/library.cmi +src/text/txt.cmo: +src/text/txt.cmx: +src/text/txtParser.cmi: src/text/txt.cmx +src/text/txtParser.cmo: src/text/txt.cmx src/common/options.cmx \ + src/text/txtParser.cmi +src/text/txtParser.cmx: src/text/txt.cmx src/common/options.cmx \ + src/text/txtParser.cmi +src/text/txtLexer.cmo: src/text/txtParser.cmi src/common/options.cmx \ + src/lib/log.cmi +src/text/txtLexer.cmx: src/text/txtParser.cmx src/common/options.cmx \ + src/lib/log.cmx +src/text/txtTxt.cmi: src/text/txt.cmx +src/text/txtTxt.cmo: src/text/txt.cmx src/lib/cps.cmx src/text/txtTxt.cmi +src/text/txtTxt.cmx: src/text/txt.cmx src/lib/cps.cmx src/text/txtTxt.cmi +src/automath/aut.cmo: +src/automath/aut.cmx: +src/automath/autProcess.cmi: src/automath/aut.cmx +src/automath/autProcess.cmo: src/automath/aut.cmx 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.cmx +src/automath/autOutput.cmo: src/lib/log.cmi src/lib/cps.cmx \ + src/automath/autProcess.cmi src/automath/aut.cmx \ + 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.cmx +src/automath/autParser.cmo: src/common/options.cmx src/automath/aut.cmx \ + 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.cmx 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/basic_ag/bag.cmo: src/lib/log.cmi src/common/entity.cmx src/lib/cps.cmx +src/basic_ag/bag.cmx: src/lib/log.cmx src/common/entity.cmx src/lib/cps.cmx +src/basic_ag/bagOutput.cmi: src/lib/log.cmi src/basic_ag/bag.cmx +src/basic_ag/bagOutput.cmo: src/common/options.cmx src/lib/log.cmi \ + src/common/hierarchy.cmi src/common/entity.cmx src/basic_ag/bag.cmx \ + src/basic_ag/bagOutput.cmi +src/basic_ag/bagOutput.cmx: src/common/options.cmx src/lib/log.cmx \ + src/common/hierarchy.cmx src/common/entity.cmx src/basic_ag/bag.cmx \ + src/basic_ag/bagOutput.cmi +src/basic_ag/bagEnvironment.cmi: src/basic_ag/bag.cmx +src/basic_ag/bagEnvironment.cmo: src/lib/log.cmi src/common/entity.cmx \ + src/basic_ag/bag.cmx src/basic_ag/bagEnvironment.cmi +src/basic_ag/bagEnvironment.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/basic_ag/bag.cmx +src/basic_ag/bagSubstitution.cmo: src/lib/share.cmx src/basic_ag/bag.cmx \ + 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/basic_ag/bag.cmx +src/basic_ag/bagReduction.cmo: src/lib/log.cmi src/common/entity.cmx \ + src/lib/cps.cmx src/basic_ag/bagSubstitution.cmi \ + src/basic_ag/bagOutput.cmi src/basic_ag/bagEnvironment.cmi \ + src/basic_ag/bag.cmx src/basic_ag/bagReduction.cmi +src/basic_ag/bagReduction.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/entity.cmx src/basic_ag/bag.cmx +src/basic_ag/bagType.cmo: src/lib/share.cmx src/lib/log.cmi \ + src/common/hierarchy.cmi src/common/entity.cmx src/lib/cps.cmx \ + src/basic_ag/bagReduction.cmi src/basic_ag/bagOutput.cmi \ + src/basic_ag/bagEnvironment.cmi src/basic_ag/bag.cmx \ + src/basic_ag/bagType.cmi +src/basic_ag/bagType.cmx: src/lib/share.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/entity.cmx src/basic_ag/bag.cmx +src/basic_ag/bagUntrusted.cmo: src/lib/log.cmi src/common/entity.cmx \ + src/basic_ag/bagType.cmi src/basic_ag/bagEnvironment.cmi \ + src/basic_ag/bag.cmx 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/basic_rg/brg.cmo: src/common/entity.cmx +src/basic_rg/brg.cmx: src/common/entity.cmx +src/basic_rg/brgOutput.cmi: src/lib/log.cmi src/common/library.cmi \ + src/basic_rg/brg.cmx +src/basic_rg/brgOutput.cmo: src/common/options.cmx src/lib/log.cmi \ + src/common/library.cmi src/common/hierarchy.cmi src/common/entity.cmx \ + src/lib/cps.cmx src/basic_rg/brg.cmx src/basic_rg/brgOutput.cmi +src/basic_rg/brgOutput.cmx: src/common/options.cmx src/lib/log.cmx \ + src/common/library.cmx src/common/hierarchy.cmx src/common/entity.cmx \ + src/lib/cps.cmx src/basic_rg/brg.cmx src/basic_rg/brgOutput.cmi +src/basic_rg/brgEnvironment.cmi: src/basic_rg/brg.cmx +src/basic_rg/brgEnvironment.cmo: src/common/entity.cmx src/basic_rg/brg.cmx \ + src/basic_rg/brgEnvironment.cmi +src/basic_rg/brgEnvironment.cmx: src/common/entity.cmx src/basic_rg/brg.cmx \ + src/basic_rg/brgEnvironment.cmi +src/basic_rg/brgSubstitution.cmi: src/basic_rg/brg.cmx +src/basic_rg/brgSubstitution.cmo: src/basic_rg/brg.cmx \ + src/basic_rg/brgSubstitution.cmi +src/basic_rg/brgSubstitution.cmx: src/basic_rg/brg.cmx \ + src/basic_rg/brgSubstitution.cmi +src/basic_rg/brgReduction.cmi: src/lib/log.cmi src/common/entity.cmx \ + src/basic_rg/brg.cmx +src/basic_rg/brgReduction.cmo: src/lib/share.cmx src/common/output.cmi \ + src/lib/log.cmi src/common/entity.cmx src/lib/cps.cmx \ + src/basic_rg/brgOutput.cmi src/basic_rg/brgEnvironment.cmi \ + src/basic_rg/brg.cmx src/basic_rg/brgReduction.cmi +src/basic_rg/brgReduction.cmx: src/lib/share.cmx src/common/output.cmx \ + src/lib/log.cmx src/common/entity.cmx src/lib/cps.cmx \ + src/basic_rg/brgOutput.cmx src/basic_rg/brgEnvironment.cmx \ + src/basic_rg/brg.cmx src/basic_rg/brgReduction.cmi +src/basic_rg/brgType.cmi: src/lib/log.cmi src/common/entity.cmx \ + src/basic_rg/brgReduction.cmi src/basic_rg/brg.cmx +src/basic_rg/brgType.cmo: src/lib/share.cmx src/lib/log.cmi \ + src/common/hierarchy.cmi src/common/entity.cmx src/lib/cps.cmx \ + src/basic_rg/brgSubstitution.cmi src/basic_rg/brgReduction.cmi \ + src/basic_rg/brgOutput.cmi src/basic_rg/brgEnvironment.cmi \ + src/basic_rg/brg.cmx src/basic_rg/brgType.cmi +src/basic_rg/brgType.cmx: src/lib/share.cmx src/lib/log.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/brgOutput.cmx src/basic_rg/brgEnvironment.cmx \ + src/basic_rg/brg.cmx src/basic_rg/brgType.cmi +src/basic_rg/brgUntrusted.cmi: src/common/entity.cmx src/basic_rg/brgType.cmi \ + src/basic_rg/brg.cmx +src/basic_rg/brgUntrusted.cmo: src/lib/log.cmi src/common/entity.cmx \ + src/basic_rg/brgType.cmi src/basic_rg/brgReduction.cmi \ + src/basic_rg/brgEnvironment.cmi src/basic_rg/brg.cmx \ + src/basic_rg/brgUntrusted.cmi +src/basic_rg/brgUntrusted.cmx: src/lib/log.cmx src/common/entity.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/complete_rg/crg.cmo: src/common/entity.cmx +src/complete_rg/crg.cmx: src/common/entity.cmx +src/complete_rg/crgOutput.cmi: src/complete_rg/crg.cmx +src/complete_rg/crgOutput.cmo: src/common/hierarchy.cmi src/common/entity.cmx \ + src/complete_rg/crg.cmx src/lib/cps.cmx src/complete_rg/crgOutput.cmi +src/complete_rg/crgOutput.cmx: src/common/hierarchy.cmx src/common/entity.cmx \ + src/complete_rg/crg.cmx src/lib/cps.cmx src/complete_rg/crgOutput.cmi +src/complete_rg/crgXml.cmi: src/common/library.cmi src/complete_rg/crg.cmx +src/complete_rg/crgXml.cmo: src/common/library.cmi src/common/hierarchy.cmi \ + src/common/entity.cmx src/complete_rg/crg.cmx src/lib/cps.cmx \ + src/common/alpha.cmi src/complete_rg/crgXml.cmi +src/complete_rg/crgXml.cmx: src/common/library.cmx src/common/hierarchy.cmx \ + src/common/entity.cmx src/complete_rg/crg.cmx src/lib/cps.cmx \ + src/common/alpha.cmx src/complete_rg/crgXml.cmi +src/complete_rg/crgTxt.cmi: src/text/txt.cmx src/complete_rg/crg.cmx +src/complete_rg/crgTxt.cmo: src/text/txtTxt.cmi src/text/txt.cmx \ + src/common/options.cmx src/common/hierarchy.cmi src/common/entity.cmx \ + src/complete_rg/crg.cmx src/lib/cps.cmx src/complete_rg/crgTxt.cmi +src/complete_rg/crgTxt.cmx: src/text/txtTxt.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/complete_rg/crgTxt.cmi +src/complete_rg/crgAut.cmi: src/complete_rg/crg.cmx src/automath/aut.cmx +src/complete_rg/crgAut.cmo: src/common/options.cmx src/common/entity.cmx \ + src/complete_rg/crg.cmx src/lib/cps.cmx src/automath/aut.cmx \ + src/complete_rg/crgAut.cmi +src/complete_rg/crgAut.cmx: src/common/options.cmx src/common/entity.cmx \ + src/complete_rg/crg.cmx src/lib/cps.cmx src/automath/aut.cmx \ + src/complete_rg/crgAut.cmi +src/complete_rg/crgBrg.cmi: src/complete_rg/crg.cmx src/basic_rg/brg.cmx +src/complete_rg/crgBrg.cmo: src/common/marks.cmx src/common/entity.cmx \ + src/complete_rg/crg.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \ + src/complete_rg/crgBrg.cmi +src/complete_rg/crgBrg.cmx: src/common/marks.cmx src/common/entity.cmx \ + src/complete_rg/crg.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \ + src/complete_rg/crgBrg.cmi +src/toplevel/meta.cmo: src/common/entity.cmx +src/toplevel/meta.cmx: src/common/entity.cmx +src/toplevel/metaOutput.cmi: src/toplevel/meta.cmx +src/toplevel/metaOutput.cmo: src/toplevel/meta.cmx src/lib/log.cmi \ + src/common/entity.cmx src/lib/cps.cmx src/toplevel/metaOutput.cmi +src/toplevel/metaOutput.cmx: src/toplevel/meta.cmx src/lib/log.cmx \ + src/common/entity.cmx src/lib/cps.cmx src/toplevel/metaOutput.cmi +src/toplevel/metaLibrary.cmi: src/toplevel/meta.cmx +src/toplevel/metaLibrary.cmo: src/toplevel/metaOutput.cmi \ + src/toplevel/metaLibrary.cmi +src/toplevel/metaLibrary.cmx: src/toplevel/metaOutput.cmx \ + src/toplevel/metaLibrary.cmi +src/toplevel/metaAut.cmi: src/toplevel/meta.cmx src/automath/aut.cmx +src/toplevel/metaAut.cmo: src/common/options.cmx src/toplevel/meta.cmx \ + src/common/entity.cmx src/lib/cps.cmx src/automath/aut.cmx \ + src/toplevel/metaAut.cmi +src/toplevel/metaAut.cmx: src/common/options.cmx src/toplevel/meta.cmx \ + src/common/entity.cmx src/lib/cps.cmx src/automath/aut.cmx \ + src/toplevel/metaAut.cmi +src/toplevel/metaBag.cmi: src/toplevel/meta.cmx src/basic_ag/bag.cmx +src/toplevel/metaBag.cmo: src/toplevel/meta.cmx src/lib/cps.cmx \ + src/basic_ag/bag.cmx src/toplevel/metaBag.cmi +src/toplevel/metaBag.cmx: src/toplevel/meta.cmx src/lib/cps.cmx \ + src/basic_ag/bag.cmx src/toplevel/metaBag.cmi +src/toplevel/metaBrg.cmi: src/toplevel/meta.cmx src/basic_rg/brg.cmx +src/toplevel/metaBrg.cmo: src/toplevel/meta.cmx src/common/entity.cmx \ + src/lib/cps.cmx src/basic_rg/brg.cmx src/toplevel/metaBrg.cmi +src/toplevel/metaBrg.cmx: src/toplevel/meta.cmx src/common/entity.cmx \ + src/lib/cps.cmx src/basic_rg/brg.cmx src/toplevel/metaBrg.cmi +src/toplevel/top.cmo: src/text/txtParser.cmi src/text/txtLexer.cmx \ + src/text/txt.cmx src/lib/time.cmx src/common/output.cmi \ + src/common/options.cmx src/toplevel/metaOutput.cmi \ + src/toplevel/metaLibrary.cmi src/toplevel/metaBrg.cmi \ + src/toplevel/metaBag.cmi src/toplevel/metaAut.cmi src/toplevel/meta.cmx \ + src/lib/log.cmi src/common/library.cmi src/common/hierarchy.cmi \ + src/common/entity.cmx src/complete_rg/crgXml.cmi \ + src/complete_rg/crgTxt.cmi src/complete_rg/crgBrg.cmi \ + src/complete_rg/crgAut.cmi src/complete_rg/crg.cmx src/lib/cps.cmx \ + src/basic_rg/brgUntrusted.cmi src/basic_rg/brgReduction.cmi \ + src/basic_rg/brgOutput.cmi src/basic_rg/brg.cmx \ + src/basic_ag/bagUntrusted.cmi src/basic_ag/bagType.cmi \ + src/basic_ag/bagOutput.cmi src/basic_ag/bag.cmx \ + src/automath/autProcess.cmi src/automath/autParser.cmi \ + src/automath/autOutput.cmi src/automath/autLexer.cmx src/automath/aut.cmx +src/toplevel/top.cmx: src/text/txtParser.cmx src/text/txtLexer.cmx \ + src/text/txt.cmx src/lib/time.cmx src/common/output.cmx \ + src/common/options.cmx src/toplevel/metaOutput.cmx \ + src/toplevel/metaLibrary.cmx src/toplevel/metaBrg.cmx \ + src/toplevel/metaBag.cmx src/toplevel/metaAut.cmx src/toplevel/meta.cmx \ + src/lib/log.cmx src/common/library.cmx src/common/hierarchy.cmx \ + src/common/entity.cmx src/complete_rg/crgXml.cmx \ + src/complete_rg/crgTxt.cmx src/complete_rg/crgBrg.cmx \ + src/complete_rg/crgAut.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/brg.cmx \ + src/basic_ag/bagUntrusted.cmx src/basic_ag/bagType.cmx \ + src/basic_ag/bagOutput.cmx src/basic_ag/bag.cmx \ + src/automath/autProcess.cmx src/automath/autParser.cmx \ + src/automath/autOutput.cmx src/automath/autLexer.cmx src/automath/aut.cmx diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile index 17ed69d21..a6fcf6c48 100644 --- a/helm/software/lambda-delta/Makefile +++ b/helm/software/lambda-delta/Makefile @@ -1,7 +1,11 @@ MAIN = helena +SRC = src + REQUIRES = unix str helm-ng_kernel +OCAMLOPTIONS = -rectypes + KEEP = README CLEAN = etc/log.txt etc/profile.txt diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common index 25e67cc1b..c47540bea 100644 --- a/helm/software/lambda-delta/Makefile.common +++ b/helm/software/lambda-delta/Makefile.common @@ -9,14 +9,13 @@ LDDLURL = http://helm.cs.unibo.it/lambda-delta/static/lddl LDDLDIR = /projects/helm/public_html/lambda-delta/static/lddl DOWNDIR = /projects/helm/public_html/lambda-delta/download XMLDIR = /projects/helm/public_html/lambda-delta/xml -SRC = components DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make)) INCLUDES = $(DIRECTORIES:%=-I %) OCAMLDEP = $(OCAMLFIND) ocamldep -native $(INCLUDES) -OCAMLOPT = $(OCAMLFIND) opt -rectypes -linkpkg -package "$(REQUIRES)" $(INCLUDES) +OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES) OCAMLLEX = ocamllex.opt OCAMLYACC = ocamlyacc -v XMLLINT = xmllint --noout diff --git a/helm/software/lambda-delta/src/Make b/helm/software/lambda-delta/src/Make index 8e332c33b..abc5de2e1 100644 --- a/helm/software/lambda-delta/src/Make +++ b/helm/software/lambda-delta/src/Make @@ -1 +1 @@ -lib common text automath basic_ag basic_rg complete_rg toplevel +lib common text automath basic_ag complete_rg xml basic_rg toplevel diff --git a/helm/software/lambda-delta/src/basic_rg/Make b/helm/software/lambda-delta/src/basic_rg/Make index ee53ca212..ccbbf5003 100644 --- a/helm/software/lambda-delta/src/basic_rg/Make +++ b/helm/software/lambda-delta/src/basic_rg/Make @@ -1,2 +1,2 @@ -brg brgOutput +brg brgCrg brgOutput brgEnvironment brgSubstitution brgReduction brgType brgUntrusted diff --git a/helm/software/lambda-delta/src/complete_rg/crgBrg.ml b/helm/software/lambda-delta/src/basic_rg/brgCrg.ml similarity index 100% rename from helm/software/lambda-delta/src/complete_rg/crgBrg.ml rename to helm/software/lambda-delta/src/basic_rg/brgCrg.ml diff --git a/helm/software/lambda-delta/src/complete_rg/crgBrg.mli b/helm/software/lambda-delta/src/basic_rg/brgCrg.mli similarity index 100% rename from helm/software/lambda-delta/src/complete_rg/crgBrg.mli rename to helm/software/lambda-delta/src/basic_rg/brgCrg.mli diff --git a/helm/software/lambda-delta/src/complete_rg/Make b/helm/software/lambda-delta/src/complete_rg/Make index d7a45f9d2..ccb5b1559 100644 --- a/helm/software/lambda-delta/src/complete_rg/Make +++ b/helm/software/lambda-delta/src/complete_rg/Make @@ -1 +1 @@ -crg crgOutput crgXml crgTxt crgAut crgBrg +crg crgOutput crgTxt crgAut diff --git a/helm/software/lambda-delta/src/complete_rg/crgXml.ml b/helm/software/lambda-delta/src/xml/XmlCrg.ml similarity index 100% rename from helm/software/lambda-delta/src/complete_rg/crgXml.ml rename to helm/software/lambda-delta/src/xml/XmlCrg.ml diff --git a/helm/software/lambda-delta/src/complete_rg/crgXml.mli b/helm/software/lambda-delta/src/xml/XmlCrg.mli similarity index 100% rename from helm/software/lambda-delta/src/complete_rg/crgXml.mli rename to helm/software/lambda-delta/src/xml/XmlCrg.mli diff --git a/helm/software/lambda-delta/src/common/library.ml b/helm/software/lambda-delta/src/xml/XmlLibrary.ml similarity index 100% rename from helm/software/lambda-delta/src/common/library.ml rename to helm/software/lambda-delta/src/xml/XmlLibrary.ml diff --git a/helm/software/lambda-delta/src/common/library.mli b/helm/software/lambda-delta/src/xml/XmlLibrary.mli similarity index 100% rename from helm/software/lambda-delta/src/common/library.mli rename to helm/software/lambda-delta/src/xml/XmlLibrary.mli -- 2.39.2