---
layout: fc_discuss_archives
title: Message 35 from Frama-C-discuss on December 2014
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Standalone application
- Subject: [Frama-c-discuss] Standalone application
- From: vanush at gmail.com (Vanush Vaswani)
- Date: Tue, 23 Dec 2014 11:03:26 +1100
Is it possible to write a plugin and have it link to Frama-C in a
standalone executable? If so, are there any example of the Makefile?
Regards,
Vanush