script to do namespacing

namespaceize.sh

#!/bin/bash

PREFIX="PQCLEAN_NTRUHPS2048509_AVX2_"

for symbol in $(nm -g lib*.a | grep -E ' (T|R) ' | cut -f3 -d' '); do
    if [[ $symbol = $PREFIX* ]]; then
        echo Already done $symbol
    elif [[ $symbol = Keccak* ]]; then
        echo "Don't need to do $symbol"
    else
        echo $symbol
        perl -p -i -e "s/\\b$symbol\\b(?!\.[ch])/$PREFIX$symbol/g" *.[cSh]
    fi
done