search

seahorn / crab

A library for building abstract interpretation-based analyses
Apache License 2.0
234 stars 32 forks source link

Elina does not compile on mac: `'stdlib.h' file not found` #27

Closed elazarg closed 5 years ago

elazarg commented 5 years ago

(seems like an issue in elina, but I thought it might be helpful to open it here)

ebpf-verifier$ make crab_install
[...]
[ 75%] Performing build step for 'elina'
CMake Error at [...]/workspace/ebpf-verifier/external/crab/build/elina-prefix/src/elina-stamp/elina-build-RelWithDebInfo.cmake:16 (message):
  Command failed: 2

   'make' 'CC=/Library/Developer/CommandLineTools/usr/bin/cc' 'CXX=/Library/Developer/CommandLineTools/usr/bin/c++' 'IS_VECTOR=-DVECTOR' 'ELINA_PREFIX=[...]/workspace/ebpf-verifier/external/crab/build/run/elina' 'GMP_PREFIX=/usr/local' 'MPFR_PREFIX=/usr/local'

  See also

    [...]/workspace/ebpf-verifier/external/crab/build/elina-prefix/src/elina-stamp/elina-build-*.log

make[4]: *** [elina-prefix/src/elina-stamp/elina-build] Error 1
make[3]: *** [CMakeFiles/elina.dir/all] Error 2
make[2]: *** [CMakeFiles/elina.dir/rule] Error 2
make[1]: *** [elina] Error 2
make: *** [crab_install] Error 2

Error:

$ cat elina-build-err.log
clang: warning: -lmpfr: 'linker' input unused [-Wunused-command-line-argument]
clang: warning: -lgmp: 'linker' input unused [-Wunused-command-line-argument]
clang: warning: -lm: 'linker' input unused [-Wunused-command-line-argument]
clang: warning: argument unused during compilation: '-L../elina_linearize' [-Wunused-command-line-argument]
elina_scalar.c:27:10: fatal error: 'stdlib.h' file not found
#include <stdlib.h>
         ^~~~~~~~~~
1 error generated.
make[6]: *** [elina_scalar.o] Error 1
make[5]: *** [c] Error 2
caballa commented 5 years ago

Don't you need to run first xcode-select --install ?

elazarg commented 5 years ago

It is installed - it's the same machine I used before. Maybe there's an issue with the update. I'll check.

agurfinkel commented 5 years ago

there is a known issue with command line compilation on a new Mac. An include directory has been removed. There is a fix on stackoverflow

On Sat, Apr 13, 2019 at 15:49 Elazar Gershuni notifications@github.com wrote:

It is installed - it's the same machine I used before. Maybe there's an issue with the update. I'll check.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/seahorn/crab/issues/27#issuecomment-482873701, or mute the thread https://github.com/notifications/unsubscribe-auth/AFzN5zSaJHwKphz67JOQtFCYvlqzBEH1ks5vgjTBgaJpZM4cuO1b .

-- On the move ...

chenxi-yang commented 4 years ago

Hi, did you solve the problem? I met the same problem while building apron, while I succeed in building lld.