blob: 2d2e6f863bbefed7aa987b70d369af5c36d3a3dd (
plain)
1
2
3
4
|
#!/usr/bin/env bash
echo "Require $(find ../../../theories ../../../plugins -type f -name "*.v" | \
sed 's/^.*\/theories\///' | sed 's/^.*\/plugins\///' | sed 's/\.v$//' | sed 's/\//./g') ."
|