1 2 3 4 5 6 7 8 9 10
#include <string.h> char* openblas_get_config(void); int main() { if (strstr(openblas_get_config(), "USE64BITINT") == NULL) return 1; return 0; }