This makes the test for base way faster, by running odig outside the cram tests. This way, its run only once for each of the three tests.
There is slight hack that needed because of dune's incomplete implementation of target directories. The hack is to transform the output directory of odig into a tar archive, so that dune can treat it as a single file. This tar file is constructed without compression for speed.
Please do not merge into the jsoo branch, this is meant to be merged into master once jsoo is too.
This makes the test for base way faster, by running odig outside the cram tests. This way, its run only once for each of the three tests.
There is slight hack that needed because of dune's incomplete implementation of target directories. The hack is to transform the output directory of odig into a tar archive, so that dune can treat it as a single file. This tar file is constructed without compression for speed.
Please do not merge into the jsoo branch, this is meant to be merged into master once jsoo is too.