'make top' fails

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

---

Id	Project	Category	View	Due Date	Updated
ID0000183	Frama-C	Kernel	public	2009-07-13	2009-09-02

Reporter	Jonathan-Christofer Demay	Assigned To	virgile	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Beryllium-20090601-beta1	Target Version	-	Fixed in Version	Frama-C Beryllium-20090901

Description :

frama-c-Beryllium-20090601-beta1 # make top Ocamlc src/toplevel/toplevel_topdirs.cmo Ocamlmktop bin/toplevel.top Error while linking src/lib/extlib.cmo: The external function `getperfcount' is not available make: *** [bin/toplevel.top] Error 2