hacl-star test: Illegal instruction

[cassiersg]

Following instructions of https://project-everest.github.io/, I get the following error at the ./everest test stage:

./curve64-ours.exe                                                                                                                                                                                                 
make[2]: *** [Makefile:35: curve64-ours.test] Illegal instruction (core dumped)                                                                                                                                    
make[2]: Leaving directory '/home/cassiersg/everest/hacl-star/tests'                                                                                                                                               
make[1]: *** [Makefile:974: test-handwritten] Error 2                                                                                                                                                              
make[1]: Leaving directory '/home/cassiersg/everest/hacl-star'
make: *** [Makefile:114: test-staged] Error 2
make: Leaving directory '/home/cassiersg/everest/hacl-star'

Opening the coredump with gdb, I get

Core was generated by `./curve64-ours.exe'.
Program terminated with signal SIGILL, Illegal instruction.
#0  0x00005601fb28d2ef in ?? ()

and

Cannot access memory at address 0x5601fb28d2ef

(Intel Core Processor (Haswell, no TSX, IBRS))

[msprotz]

Unfortunately these tests are unconditionally enabled and are not gated on the presence of the required CPU features. If you have any way to submit a patch that would run the test if, say, OS is Linux and grep /proc/cpuinfo bmi2 adx is true, that would be super helpful.

Thanks,

Jonathan