Frama-C Windows İkili Kullanılabilir mi?

Bazı Frama-C açık kaynak projesi ile deneme yapmak arıyorum ve bir Windows 7 makine üzerinde araçları yüklemek istiyorum. Önceki sürümlerin Windows için ikili yükleyicileri var gibi görünüyor, ancak en son sürüm olan Nitrojen, yalnızca kaynak kodun mevcut olduğunu gösteriyor. frama-c.com projesi için web sitesi, bunların kullanılabilir olması gerektiğini söylüyor ancak indirme sayfalarında onları göremiyorum. İkili yükleyiciler başka bir yerde kullanılabilir mi?Frama-C Windows İkili Kullanılabilir mi?

kaynak

2012-01-01 Bryan C.

sadece POSIXish çevre ve OCaml (3.10.2 ve 3.12.1 arasında sürüm) gerektirir. Zaten MinGW'nin yüklediyseniz Yani, http://caml.inria.fr/ gelen OCaml bir ikili paketi yüklemeden sonra kaynağından Frama-C derleme kadar basit olmalıdır. Derlemek ve dağıtmak için sinir bozucu olan GUI. –

Hala değil bir cevap, ama Sylvain Nahas bu hata raporu kapsamında nispeten ayrıntılı derleme talimatlar verilmektedir: http://bts.frama-c.com/view.php?id=1087 –

Sen Frama-C Azot, bu yazı yazılırken son sürümünün bir ikili sürümünü yüklemek için here talimatları bulacaksınız. Boron'un eski sürümünün üzerine yükler ve onu Azot'a yükseltir. komut satırı sürümünü Bina

kaynak

2012-02-10 08:50:28

Bu kadar zaman sonra nihayet değilim yükleme yapmak için uğraşmak, ama sahip olduğunuz talimatın bağlantısı ile ilgili sorunlar yaşıyorum. Tüm adımları uyguladıktan ve yükleme sınamasını yaptıktan sonra bir hata alıyorum: Önemli hata: exception GdkPixbuf.GdkPixbufError (3, "Resim için dosya algılamıyor dosya biçimi 'C: \ Frama-c- Azot-20111001 \ share \ Frama-c/Frama-c.ico ' ')' Bu dosyaya, sorun. Ben MSYS altında yüklemeye deneyebilirsiniz ne olduğundan emin değilim bu yüzden vardır. –

Ben aynı sorun var Çok yakın bir kurulum, bir sebepten dolayı, sadece WODI'nin lablgtk'i bunu engellemeyi başardı, her durumda, bu sadece program görev çubuğu simgesi ve sadece estetik amaçlara sahip olduğundan, .ico dosyasını (ve sonuç olarak .gif dosyasını güvenli bir şekilde silebilirsiniz. iyi, eğer benim yaptığım gibi bir sorun varsa ve tekrar çalıştırırsanız, bir uyarı yayar, aksi takdirde iyi çalışmalıdır. – anol

Frama-C Windows İkili Kullanılabilir mi?

cevap

İlgili konular