Elina does not compile on mac: `'stdlib.h' file not found`
Closed this issue · 4 comments
elazarg commented
(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
Don't you need to run first xcode-select --install
?
elazarg commented
It is installed - it's the same machine I used before. Maybe there's an issue with the update. I'll check.
agurfinkel commented
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 ***@***.***> 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
<#27 (comment)>, or mute
the thread
<https://github.com/notifications/unsubscribe-auth/AFzN5zSaJHwKphz67JOQtFCYvlqzBEH1ks5vgjTBgaJpZM4cuO1b>
.
--
On the move ...
chenxi-yang commented
Hi, did you solve the problem? I met the same problem while building apron, while I succeed in building lld.