coq-tools icon indicating copy to clipboard operation
coq-tools copied to clipboard

Use `Print LoadPath` for handling libnames

Open JasonGross opened this issue 1 year ago • 0 comments

Nearly complete work for handling #223

Still todo:

  • [ ] don't automatically add -Q . Top or w/e
  • [ ] fix handling of lib_of_filename around clear_libimport_cache(lib_of_filename(output_file_name, **kwargs))
  • [ ] rework lib<->filename handling to be based on pathlib more

JasonGross avatar Sep 22 '24 22:09 JasonGross