Could the benchmarks be a seperate git repo?

[rwmacleod]

The benchmarks are > 350 MB. Could they be a separate git repo?

❯ du -sm enzyme/*| sort -n
1	enzyme/bclib
1	enzyme/BCLoad
1	enzyme/BUILD
1	enzyme/cmake
1	enzyme/CMakeLists.txt
1	enzyme/CMakePresets.json
1	enzyme/doxygen.cfg
1	enzyme/include
1	enzyme/placeholdertest.sh
1	enzyme/scripts
1	enzyme/tools
1	enzyme/WORKSPACE
4	enzyme/Enzyme
12	enzyme/test
376	enzyme/benchmarks

The concern is around source-based distros like Yocto or Gentoo where it would be nice to have less code that isn't required to build to download.

[wsmoses]

yeah I'm up for that

[jandrej]

@wsmoses this came up in an internal discussion and we'd appreciate a slim repo as well.

[rwmacleod]

Since this change would require creating a new repo for the benchmarks, I assumed that we should just wait. Now that it's been a while and a few people have agreed with the idea, I've asked a coworker to send a PR to remove the benchmarks directory tree and make any other changes. ( While I go in vacation! :-) )

Hopefully this gets the smaller tarballs and repos rolling.