Cannot build with vector instructions on macOS about elina HOT 6 CLOSED

Hi,

Thanks for trying out ELINA. Can you check if your system has "immintrin.h" and if yes, can you send it to me?

Cheers,
Gagan

from elina.

Hi,

Thanks for getting back to me! My system has multiple copies of that file from various compilers, including one in the standard include path that should be picked up by clang when compiling ELINA. I have uploaded it to a gist.

Best regards,
Tobias

from elina.

I think I have seen this bug before, can you try removing ELINA completely from your system and then reinstall again with VECTOR option?

Cheers,
Gagan

from elina.

I have not previously run make install, so I just removed my clone of the repository, cloned it again and ran the build commands. I am unfortunately still getting the same error.

from elina.

Hi Tobias,

I managed to reproduce your bug on my machine. I have updated the configure file to fix this. Try running ./configure -use-vector to build the ELINA Octagon library with the AVX vector instructions. Let me know if this works.

Cheers,
Gagan

from elina.

Hi Gagendeep,

that did indeed fix the build error I was experiencing! It might be of note that the first time I re-ran make the compilation error was gone, but I did get a linker error saying some symbols weren't found.

Running make a second time fixed that though.

Thank you so much!

from elina.