match cmd with
| LexiconAst.Include (loc, baseuri) ->
let lexiconpath_rw, lexiconpath_r =
- LibraryMisc.lexicon_file_of_baseuri ~writable:true ~baseuri,
- LibraryMisc.lexicon_file_of_baseuri ~writable:false ~baseuri
+ LibraryMisc.lexicon_file_of_baseuri
+ ~must_exist:false ~writable:true ~baseuri,
+ LibraryMisc.lexicon_file_of_baseuri
+ ~must_exist:false ~writable:false ~baseuri
in
let lexiconpath =
if Sys.file_exists lexiconpath_rw then lexiconpath_rw else
let status = List.fold_left eval_command status lexicon in
if Helm_registry.get_bool "db.nodb" then
let metadatapath_rw, metadatapath_r =
- LibraryMisc.metadata_file_of_baseuri ~baseuri ~writable:true,
- LibraryMisc.metadata_file_of_baseuri ~baseuri ~writable:false
+ LibraryMisc.metadata_file_of_baseuri
+ ~must_exist:false ~baseuri ~writable:true,
+ LibraryMisc.metadata_file_of_baseuri
+ ~must_exist:false ~baseuri ~writable:false
in
let metadatapath =
if Sys.file_exists metadatapath_rw then metadatapath_rw else