#!/bin/bash set -eu FELICS_CIPHERS_DIR=$1 LILLIPUT_VERSION=$2 output-filename () { local mode=$1 local keylen=$2 local lilliput_dir=Lilliput-${mode^^}-${keylen}_v${LILLIPUT_VERSION} echo "${FELICS_CIPHERS_DIR}"/${lilliput_dir}/source/test_vectors.c } for mode in i ii do for keylen in 128 192 256 do output=$(output-filename ${mode} ${keylen}) make vector mode=${mode} keylen=${keylen} output=${output} done done