2021-03-06 23:21:18 +00:00
|
|
|
#!/bin/bash
|
2021-02-14 23:36:09 +00:00
|
|
|
#
|
|
|
|
# "I will be a shieldmaiden no longer,
|
|
|
|
# nor vie with the great Riders, nor
|
|
|
|
# take joy only in the songs of slaying.
|
|
|
|
# I will be a healer, and love all things
|
|
|
|
# that grow and are not barren."
|
|
|
|
# Éowyn, The Return of the King
|
|
|
|
#
|
|
|
|
#
|
|
|
|
# This script shall heal the little broken programs
|
|
|
|
# using the patches in this directory and convey them
|
|
|
|
# to convalesce in the healed directory.
|
|
|
|
#
|
|
|
|
|
2021-03-13 00:59:17 +00:00
|
|
|
# We check ourselves before we wreck ourselves.
|
|
|
|
if [ ! -f 'patches/eowyn.sh' ]
|
|
|
|
then
|
|
|
|
echo "But I must be run from the project root directory."
|
|
|
|
exit 1
|
|
|
|
fi
|
2021-02-14 23:36:09 +00:00
|
|
|
|
2021-03-13 00:59:17 +00:00
|
|
|
# Create directory of healing if it doesn't already exist.
|
|
|
|
mkdir -p patches/healed
|
2021-02-14 23:36:09 +00:00
|
|
|
|
|
|
|
# Cycle through all the little broken Zig applications.
|
2021-03-13 00:59:17 +00:00
|
|
|
for broken in exercises/*.zig
|
2021-02-14 23:36:09 +00:00
|
|
|
do
|
|
|
|
# Remove the dir and extension, rendering the True Name.
|
|
|
|
true_name=$(basename $broken .zig)
|
2021-03-13 00:59:17 +00:00
|
|
|
patch_name="patches/patches/$true_name.patch"
|
2021-02-14 23:36:09 +00:00
|
|
|
|
2021-02-15 01:26:57 +00:00
|
|
|
|
2021-03-06 23:10:24 +00:00
|
|
|
if [ -f $patch_name ]
|
2021-02-14 23:36:09 +00:00
|
|
|
then
|
|
|
|
# Apply the bandages to the wounds, grow new limbs, let
|
|
|
|
# new life spring into the broken bodies of the fallen.
|
|
|
|
echo Healing $true_name...
|
2021-03-13 00:59:17 +00:00
|
|
|
patch --output=patches/healed/$true_name.zig $broken $patch_name
|
2021-02-14 23:36:09 +00:00
|
|
|
else
|
2021-03-06 23:10:24 +00:00
|
|
|
echo Cannot heal $true_name. No patch found.
|
2021-02-14 23:36:09 +00:00
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
|
|
|
# Test the healed exercises. May the compiler have mercy upon us.
|
|
|
|
zig build -Dhealed
|