이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 mcrl2compilerewriter 명령입니다.
프로그램:
이름
mcrl2compilerewriter - mCRL2 도구용 재작성기 컴파일
개요
mcrl2컴파일 재작성기 인파일
기술
이 스크립트는 mCRL2용 재작성기 라이브러리를 컴파일하는 기본 스크립트입니다. 그것은 컴파일
INFILE의 소스 파일. 출력은 줄 바꿈으로 구분된 파일 목록으로 구성됩니다. NS
목록의 마지막 파일은 컴파일러 라이브러리로 처리되며 유효한 실행 파일이어야 합니다.
출력에 나열된 모든 파일은 이 스크립트를 호출하는 mCRL2 도구에 의해 삭제됩니다.
라이브러리는 더 이상 필요하지 않습니다.
컴파일 동작을 변경하려면 다음 단계를 따르세요.
- 새 스크립트 만들기(원래 스크립트를 기반으로 할 수 있음)
- MCRL2_COMPILE_REWRITER 환경 변수가 새 스크립트를 가리키도록 합니다.
onworks.net 서비스를 사용하여 온라인으로 mcrl2compilerewriter 사용