
echo "" > "$1/include/NTL/HAVE_LL_TYPE.h"
echo "" > "$1/include/NTL/HAVE_BUILTIN_CLZL.h"
echo "" > "$1/include/NTL/HAVE_AVX.h"
echo "" > "$1/include/NTL/HAVE_FMA.h"
echo "" > "$1/include/NTL/HAVE_PCLMUL.h"
