/*
* Calculate the real path of the stipulated path,
* and store it in the specified variable.
*
* @param char *variable The variable to store the real path in.
* @param char *stipulated_path The path to resolve.
* @return void
*/
void set_real_path(char *variable, const char *stipulated_path) {
// Make sure the variable is initialized (reset to nothing).
initialize_string(variable);
// Calculate the actual path.
realpath(stipulated_path, variable);
}
void initialize_library_module() {
initialize_attribute_manager();
initialize_trace();
initialize_constants();
initialize_fingerprint();
initialize_print();
initialize_placeholder();
initialize_idx_metavar();
initialize_io_state();
initialize_unifier();
initialize_kernel_serializer();
initialize_let();
initialize_typed_expr();
initialize_choice();
initialize_string();
initialize_resolve_macro();
initialize_annotation();
initialize_explicit();
initialize_module();
initialize_protected();
initialize_private();
initialize_scoped_ext();
initialize_reducible();
initialize_aliases();
initialize_coercion();
initialize_unifier_plugin();
initialize_sorry();
initialize_class();
initialize_library_util();
initialize_pp_options();
initialize_projection();
initialize_normalize();
initialize_abbreviation();
initialize_relation_manager();
initialize_user_recursors();
initialize_composition_manager();
initialize_noncomputable();
initialize_aux_recursors();
initialize_class_instance_resolution();
initialize_type_context();
initialize_light_rule_set();
initialize_congr_lemma_manager();
initialize_app_builder();
initialize_fun_info_manager();
initialize_unification_hint();
}
void initialize_library_module() {
initialize_constants();
initialize_fingerprint();
initialize_print();
initialize_placeholder();
initialize_idx_metavar();
initialize_kernel_bindings();
initialize_io_state();
initialize_unifier();
initialize_kernel_serializer();
initialize_let();
initialize_typed_expr();
initialize_choice();
initialize_num();
initialize_string();
initialize_resolve_macro();
initialize_annotation();
initialize_explicit();
initialize_module();
initialize_protected();
initialize_private();
initialize_scoped_ext();
initialize_reducible();
initialize_aliases();
initialize_coercion();
initialize_unifier_plugin();
initialize_sorry();
initialize_class();
initialize_library_util();
initialize_pp_options();
initialize_projection();
initialize_normalize();
initialize_abbreviation();
initialize_relation_manager();
initialize_user_recursors();
initialize_class_instance_elaborator();
initialize_composition_manager();
}
/*
* Build a path by appending a filename to a base path.
*
* @return char *variable The variable to store the built path in.
* @return char *base_path The base path.
* @return char *filename The filename.
* @return void
*/
void build_path(char *variable, const char *base_path, const char *filename) {
initialize_string(variable);
add_to_string(variable, base_path);
add_to_string(variable, "/");
add_to_string(variable, filename);
}
