Introduce -o option, subsuming --krmloutput and --output_deps_to, and also location for checked and extracted files#3766

Merged

mtzguido merged 2 commits intoFStarLang:masterfrom mtzguido:dash_o

Feb 16, 2025

+58-30

Commits on Feb 16, 2025

Introduce -o option, subsuming --krmloutput and --output_deps_to, and also location for checked and extracted files
mtzguido
committed
Makefiles: Use -o option
mtzguido
committed