E2527 オプション 'name' は 'name' によって設定できません (C++)
ファイルの解析またはコンパイルが始まった後には設定できないオプションを、ソース ファイル内で設定しようとしています。このオプションは、コマンドライン、または.cfg ファイルで設定してください。
たとえば、ソース ファイルに、#pragma option push -v が含まれている場合は、この push を削除して、コマンドラインまたは .cfg ファイルで、このオプションの set/unset を行う必要があります。