Install frama-c.top

ID0001128: This issue was created automatically from Mantis Issue 1128. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0001128	Frama-C	Kernel > Makefile	public	2012-03-22	2014-02-12

Reporter	Anne	Assigned To	signoles	Resolution	fixed
Priority	normal	Severity	feature	Reproducibility	have not tried
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Nitrogen-20111001	Target Version	-	Fixed in Version	Frama-C Oxygen-20120901

Description :

At the moment, [make install] provides [frama-c], [frama-c.byte], [frama-c-gui] and [frama-c-gui]. It would be great if it could also install [frama-c-top] from [bin/toplevel.top].