-rw-r--r-- 91 libntruprime-20240910/crypto_decode/857x5167/avx/Makefile raw
decode.c: decodegen.py
	./decodegen.py 857 5167 > decode.c
	touch -r decodegen.py decode.c