steps to run json dump of all the mina this includes the compiled code as well. you will find that in the _build directory there are a few copies here, more work is needed.
cd mina/
find -name *.ml -exec ~/2024/08/12/dune/_build/default/.ppx/1977eb4d6c4f6ad3b912f65add506a08/ppx.exe {} > /dev/null ;
find -name *.str > files.txt
tar -cf json.tar -T files.txt
mkdir ~/2023/12/28/ppxlib/ocaml-opam-ppxlib-json-ast/mina
cd ~/2023/12/28/ppxlib/ocaml-opam-ppxlib-json-ast/mina
git lfs track… See the full description on the dataset page:
https://huggingface.co/datasets/introspector/mina-snarky-asts.
