Frama-C 오픈 소스 프로젝트를 실험하고 Windows 7 컴퓨터에 도구를 설치하려고합니다. 이전 버전에는 Windows 용 바이너리 설치 프로그램이있는 것처럼 보이지만 최신 버전 인 Nitrogen에는 사용 가능한 소스 코드 만 있습니다. frama-c.com 프로젝트의 웹 사이트에서는이 파일을 사용할 수 있어야한다고 말하지만 다운로드 페이지에는 표시되지 않습니다. 바이너리 설치 프로그램은 다른 곳에서 구할 수 있습니까?Frama-C Windows 바이너리를 사용할 수 있습니까?
이 글을 쓰고있는 시점에서 최신 버전 인 Frama-C Nitran의 이진 버전을 설치하는 방법은 here입니다. 그것은 이전 버전의 Boron 위에 설치하고 그것을 질소로 업그레이드합니다.
이 시간이 지나면 마침내 설치에 익숙해지고 있지만, 당신이 가진 지시에 대한 링크에 문제가 있습니다. 모든 단계를 수행하고 설치 테스트를 수행 한 후 오류가 발생합니다. 치명적인 오류 : 예외 GdkPixbuf.GdkPixbufError (3, "파일 'C : \ Frama-c-File의 파일 형식을 인식 할 수 없습니다. Nitrogen-20111001 \ share \ frama-c/frama-c.ico ' ")"이 파일은 문제가 무엇인지 확실하지 않으므로 MSYS 아래에 설치하려고 할 수도 있습니다 .. –
아주 최근의 설치, 어떤 이유로 WODI의 lablgtk만이 그 문제를 피할 수있었습니다. 어떤 경우에도 이것은 프로그램 작업 표시 줄 아이콘이며 미적 목적을 가지고 있기 때문에 .ico 파일 (그리고 결국 .gif 파일을 다음과 같이 지울 수 있습니다. 음, 내가했던 것처럼 문제가 있다면) 다시 실행하면 경고 메시지가 나오지만 그렇지 않으면 잘 작동해야합니다. – anol
명령 줄 버전을 빌드하려면 POSIXish 환경과 OCaml (3.10.2와 3.12.1 사이의 버전) 만 필요합니다. 따라서 MinGW를 이미 설치했다면 http://caml.inria.fr/에서 OCaml을위한 바이너리 패키지를 설치 한 다음 소스에서 Frama-C를 컴파일하는 것만 큼 간단해야합니다. 컴파일하고 배포하기 위해 좌절하는 것은 GUI입니다. –
아직도 대답은 없지만 Sylvain Nahas는이 버그 보고서의 일부로 비교적 자세한 컴파일 지침을 제공합니다. http://bts.frama-c.com/view.php?id=1087 –