Binario Windows Frama-C disponibile?

Sto cercando di sperimentare il progetto open source Frama-C e vorrei installare gli strumenti su una macchina Windows 7. Sembra che le versioni precedenti abbiano programmi di installazione binari per Windows, ma l'ultima versione, Azoto, ha solo il codice sorgente disponibile. Il sito web per il progetto frama-c.com dice che questi dovrebbero essere disponibili ma non li vedo nella loro pagina di download. Gli installatori binari sono disponibili da qualche altra parte?Binario Windows Frama-C disponibile?

fonte

2012-01-01 Bryan C.

La creazione della versione da riga di comando richiede solo un ambiente POSIXish e OCaml (versione compresa tra 3.10.2 e 3.12.1). Quindi, se hai già installato MinGW, dovrebbe essere semplice come installare un pacchetto binario per OCaml da http://caml.inria.fr/ e quindi compilare Frama-C dal sorgente. È la GUI che è frustrante da compilare e distribuire. –

Ancora non è una risposta, ma Sylvain Nahas fornisce istruzioni di compilazione relativamente dettagliate come parte di questo bug report: http://bts.frama-c.com/view.php?id=1087 –

Troverete le istruzioni here per installare una versione binaria di Frama-C Azoto, l'ultima versione al momento della stesura. Si installa sulla versione precedente di Boron e lo aggiorna a Azoto.

fonte

2012-02-10 08:50:28

Dopo tutto questo tempo, sono finalmente andare in giro per l'installazione, ma sto avendo problemi con il link alle istruzioni che hai. Dopo aver eseguito tutti i passaggi e aver eseguito il test dell'installazione, viene visualizzato un messaggio di errore: Errore irreversibile: eccezione GdkPixbuf.GdkPixbufError (3, "Impossibile riconoscere il formato file immagine per il file 'C: \ Frama-c- Azoto-20111001 \ share \ frama-c/frama-c.ico '")" Questo file è lì quindi non sono sicuro di quale sia il problema. Potrei provare a installare sotto MSYS –

Ho lo stesso problema su un installazione molto recente, per qualche ragione, solo il lablgtk di WODI è riuscito a evitarlo.In ogni caso, poiché questa è solo l'icona della barra delle applicazioni del programma e ha solo fini estetici, puoi tranquillamente cancellare il file .ico (e infine il file .gif come beh, se hai un problema anche con quello che ho fatto) ed esegui di nuovo, emetterà un avviso ma dovrebbe funzionare altrimenti. – anol

Binario Windows Frama-C disponibile?

risposta

Problemi correlati