From 4904accd80118cb8126e308ae098d87f8651c9f4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 22 Jan 2015 12:21:00 +0000 Subject: [PATCH] dependences update --- .../components/METAS/meta.helm-hmysql.src | 2 +- .../binaries/transcript/.depend.opt | 44 +++++++++---------- 2 files changed, 23 insertions(+), 23 deletions(-) diff --git a/helm/software/components/METAS/meta.helm-hmysql.src b/helm/software/components/METAS/meta.helm-hmysql.src index 21841b5ca..8b6a26f56 100644 --- a/helm/software/components/METAS/meta.helm-hmysql.src +++ b/helm/software/components/METAS/meta.helm-hmysql.src @@ -1,4 +1,4 @@ -requires="helm-registry sqlite3 mysql helm-extlib" +requires="helm-registry sqlite3 mysql pcre helm-extlib" version="0.0.1" archive(byte)="hmysql.cma" archive(native)="hmysql.cmxa" diff --git a/helm/software/components/binaries/transcript/.depend.opt b/helm/software/components/binaries/transcript/.depend.opt index 4ee9ad4e6..345631687 100644 --- a/helm/software/components/binaries/transcript/.depend.opt +++ b/helm/software/components/binaries/transcript/.depend.opt @@ -1,24 +1,24 @@ -gallina8Parser.cmi: types.cmx -grafiteParser.cmi: types.cmx -grafite.cmi: types.cmx -engine.cmi: -types.cmo: -types.cmx: -options.cmo: -options.cmx: -gallina8Parser.cmo: types.cmx options.cmx gallina8Parser.cmi -gallina8Parser.cmx: types.cmx options.cmx gallina8Parser.cmi -gallina8Lexer.cmo: options.cmx gallina8Parser.cmi -gallina8Lexer.cmx: options.cmx gallina8Parser.cmx -grafiteParser.cmo: types.cmx options.cmx grafiteParser.cmi -grafiteParser.cmx: types.cmx options.cmx grafiteParser.cmi -grafiteLexer.cmo: options.cmx grafiteParser.cmi -grafiteLexer.cmx: options.cmx grafiteParser.cmx -grafite.cmo: types.cmx options.cmx grafite.cmi -grafite.cmx: types.cmx options.cmx grafite.cmi -engine.cmo: types.cmx options.cmx grafiteParser.cmi grafiteLexer.cmx \ +gallina8Parser.cmi : types.cmx +grafiteParser.cmi : types.cmx +grafite.cmi : types.cmx +engine.cmi : +types.cmo : +types.cmx : +options.cmo : +options.cmx : +gallina8Parser.cmo : types.cmx options.cmx gallina8Parser.cmi +gallina8Parser.cmx : types.cmx options.cmx gallina8Parser.cmi +gallina8Lexer.cmo : options.cmx gallina8Parser.cmi +gallina8Lexer.cmx : options.cmx gallina8Parser.cmx +grafiteParser.cmo : types.cmx options.cmx grafiteParser.cmi +grafiteParser.cmx : types.cmx options.cmx grafiteParser.cmi +grafiteLexer.cmo : options.cmx grafiteParser.cmi +grafiteLexer.cmx : options.cmx grafiteParser.cmx +grafite.cmo : types.cmx options.cmx grafite.cmi +grafite.cmx : types.cmx options.cmx grafite.cmi +engine.cmo : types.cmx options.cmx grafiteParser.cmi grafiteLexer.cmx \ grafite.cmi gallina8Parser.cmi gallina8Lexer.cmx engine.cmi -engine.cmx: types.cmx options.cmx grafiteParser.cmx grafiteLexer.cmx \ +engine.cmx : types.cmx options.cmx grafiteParser.cmx grafiteLexer.cmx \ grafite.cmx gallina8Parser.cmx gallina8Lexer.cmx engine.cmi -top.cmo: options.cmx engine.cmi -top.cmx: options.cmx engine.cmx +top.cmo : options.cmx engine.cmi +top.cmx : options.cmx engine.cmx -- 2.39.2