checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether to enable maintainer-specific portions of Makefiles... no checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for gcc... icc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether icc accepts -g... yes checking for icc option to accept ISO C89... none needed checking for style of include used by make... GNU checking dependency style of icc... gcc3 checking whether icc and cc understand -c and -o together... yes checking for C compiler vendor... intel checking for icc option to accept ISO C99... -std=c99 checking for icc -std=c99 option to accept ISO Standard C... (cached) -std=c99 checking whether ln -s works... yes checking whether make sets $(MAKE)... (cached) yes checking for a sed that does not truncate output... /bin/sed checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for fgrep... /bin/grep -F checking for ld used by icc -std=c99... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking the maximum length of command line arguments... 98304 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... yes checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for ar... ar checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from icc -std=c99 object... ok checking how to run the C preprocessor... icc -std=c99 -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if icc -std=c99 supports -fno-rtti -fno-exceptions... yes checking for icc -std=c99 option to produce PIC... -fPIC -DPIC checking if icc -std=c99 PIC flag -fPIC -DPIC works... yes checking if icc -std=c99 static flag -static works... yes checking if icc -std=c99 supports -c -o file.o... yes checking if icc -std=c99 supports -c -o file.o... (cached) yes checking whether the icc -std=c99 linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... no checking whether to build static libraries... yes checking for ocamlbuild... no checking whether C compiler accepts -no-gcc... yes checking whether C compiler accepts -msse2... yes checking whether C compiler accepts -mavx... no configure: error: Need a version of gcc with -mavx