GitLab

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

---

Id	Project	Category	View	Due Date	Updated
ID0001575	Frama-C	Kernel	public	2013-11-28	2014-03-13

Reporter	jowi24	Assigned To	yakobowski	Resolution	no change required
Priority	normal	Severity	block	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Fluorine-20130601	Target Version	-	Fixed in Version	Frama-C Neon-20140301

Description :

$./make Ocamlc src/ai/abstract_interp.cmi File "src/ai/abstract_interp.mli", line 166, characters 4-33: Error: In this with' constraint, the new definition of O does not match its original definition in the constrained signature: ... The field find' is required but not provided share/Makefile.common:315: recipe for target 'src/ai/abstract_interp.cmi' failed make: *** [src/ai/abstract_interp.cmi] Error 2

Additional Information :

$ocaml -version The OCaml toplevel, version 4.01.0

$gcc -v COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.2/lto-wrapper Ziel: x86_64-unknown-linux-gnu Konfiguriert mit: /build/gcc/src/gcc-4.8.2/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --enable-gnu-unique-object --enable-linker-build-id --enable-cloog-backend=isl --disable-cloog-version-check --enable-lto --enable-gold --enable-ld=default --enable-plugin --with-plugin-ld=ld.gold --with-linker-hash-style=gnu --disable-install-libiberty --disable-multilib --disable-libssp --disable-werror --enable-checking=release Thread-Modell: posix gcc-Version 4.8.2 (GCC)