Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 208
    • Issues 208
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #1228

Closed
Open
Created Nov 28, 2013 by mantis-gitlab-migration@mantis-gitlab-migration

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)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking