Add a option to frontend specify location of rc-project.toml, dune-project and _CoqProject
From #37:
Can I specify a build directory where the first two [i.e. dune-project
and _CoqProject
] go so I can easily just ignore that directory? There will inevitably be a build directory that is already ignored so ideally they would be placed there.
Secondly, can I specify a location outside the working directory for RefinedC to load the TOML file instead? I don't like cluttering the root of the git repository as it tends to be very cluttered and messy from other dotfiles and whatnot, too.
dune
has a --config-file
option where one can specify a different config file. I'm not sure what _CoqProject is for specifically (I can't see anything in the output of coqc --help
) so maybe that one has to be at the root.
Alternatively, doing a chdir
to whatever the build directory is first and then running coq within that is also a solution - I believe either the -R
or -Q
flags might be helpful here.