Create helper thorns automatically from a prototype

1 files changed, 11 insertions, 0 deletions

diff --git a/m/create-helper-thorn.sh b/m/create-helper-thorn.sh
new file mode 100755
index 0000000..79854d3
--- /dev/null
+++ b/m/create-helper-thorn.sh
@@ -0,0 +1,11 @@
+#! /bin/bash
+
+name=$1
+
+# Create a thorn $name_Helper
+
+orig=ML_BSSN
+
+cp -R prototype/${orig}_Helper ${name}_Helper
+find ${name}_Helper -name '*~' | xargs rm
+find ${name}_Helper -type f | xargs perl -pi -e "s/${orig}/${name}/g"