* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
exception IncludedFileNotCompiled of string (* file name *)
exception MetadataNotFound of string (* file name *)
| LibraryNoDb.Dependency buri ->
if List.exists (LibraryNoDb.eq_metadata m) metadata
then acc
- else m :: acc
- | _ -> m :: acc)
+ else m :: acc)
metadata new_metadata
in
{ status with metadata = metadata' }
let lexicon = LexiconMarshal.load_lexicon lexiconpath in
let status = List.fold_left eval_command status lexicon in
if Helm_registry.get_bool "db.nodb" then
- let metadatapath = baseuri ^ ".metadata" in
+ let metadatapath = LibraryMisc.metadata_file_of_baseuri ~basedir ~baseuri in
if not (Sys.file_exists metadatapath) then
raise (MetadataNotFound metadatapath)
else