Use the directory of any file on the command line in the include path rather than "."#3690

Open

nikswamy wants to merge 8 commits into

_nik_revise_default_include_path

Commits on Jan 19, 2025

Use the directory of any file on the command line in the include path rather than .
nikswamy
committed

Commits on Jan 20, 2025

remove special handling in the dependence analysis for files in the current directory
nikswamy
committed
other projects, notably karamel, rely on . being in the include path; try to retain it at a lower precedence
nikswamy
committed
expand include for all include paths; normalize file paths
nikswamy
committed