We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
See usage example in run.sh
run.sh
Usage: dune exec -- ./main.exe <file.dk> -I include_dir1 -I include_dir2
dune exec -- ./main.exe <file.dk> -I include_dir1 -I include_dir2