# Settare

OPT=-byte      # Nota: questo andrebbe fatto nel Make, ma un bug di coq_makefile
               # lo impedisce
COQTOP=...