Field 'find' required but not provided in src/ai/abstract_interp.cmi
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)