Revision aa211c2d5a40dd6969fe8a469fcadfd27e8c8fe3 authored by Jonathan Protzenko on 24 April 2020, 21:11:09 UTC, committed by Jonathan Protzenko on 24 April 2020, 21:11:09 UTC
1 parent 6f91754
blast-staticconfig.sh
#!/bin/bash
set -e
NEW_CONFIG=$1
OLD_CONFIG=$(test -f .evercrypt_config && cat .evercrypt_config || echo "")
# See https://github.com/FStarLang/FStar/issues/1657 as to why we have to remove
# the .fsti
CONFIG_FILES="obj/EverCrypt.StaticConfig.fst.checked obj/EverCrypt.TargetConfig.fsti.checked obj/EverCrypt.TargetConfig.fst.checked"
if [[ $NEW_CONFIG != $OLD_CONFIG ]]; then
for f in $CONFIG_FILES; do
if [[ -f $f ]]; then
rm -f $f
echo "... detected config change, removed $f"
fi
done
echo $NEW_CONFIG > .evercrypt_config
fi
Computing file changes ...