Skip to main content

Browse the archive

Revision dd87607dda81d9366a834a111953b3bf1faa421d authored by Tahina Ramananandro on 12 May 2020, 03:16:30 UTC, committed by Tahina Ramananandro on 12 May 2020, 03:16:30 UTC 
Merge branch 'master' of github.com:mitls/hacl-star into _taramana_ubuntu_focal
2 parent s 6ea3c44 + a3f5d06
Raw File
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
back to top