clerk sets the cwd to the _build dir?

[rprimet]

This is a behavior that I encountered while implementing the JSON output for traces.

If I send the json output in a file, for instance by calling

clerk run tests/fonctionnels/cas_1.catala_fr -s TestAF -c-t -c--trace-format=json -c--trace-output=hi.json in the poc-cnaf repository, then the file hi.json ends up being created in _build/hi.json rather than in the shell's current working directory. This could be confusing for users I guess?

[denismerigoux]

The file should be copied out of _build. The Catala compiler should somehow send a signal to clerk signalling that it created a new file such that this file can be copied out of _build. clerk should deal with clerk run the same way it does with clerk test by controlling the launching of the interpretation?

[AltGr]

This was actually already provisioned for: clerk doesn't directly run catala with CWD=_build, but passes it the --directory option so that it knows what's going on. The bit that was missing for it to work is that the output option, on the catala side, needed to use the raw_file argument parser rather than a plain string ; then a function is provided to convert that to a proper file path, taking directory sorcery into account. The required change is proposed in c9ce9fe

[rprimet]

nice, thanks!