--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Binary packages for Linux?



Hi,

 

We are normally using openSUSE and SLES where I work and use prebuilt
RPM packages.

 

It would be good if Frama-C considerd using the opensuse build service.

https://build.opensuse.org/

 

The service is free and can build packages for all major distributions.

 

http://en.opensuse.org/Build_Service/cross_distribution_package_how_to

 

Kind Regards Birger

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081008/729ff610/attachment.html