build/make problem

[lyuchuny3]

Platform: x86-linux

1. run ./misc/install_deps_linux.sh DONE
2. run ./rebuild_and_run.sh error:

isl_utils.h:16:10: fatal error: isl_ast_build_expr.h: No such file or directory
 #include <isl_ast_build_expr.h>

I fix this by add Makefile -I clockwork/include/isl after, I rerun ./rebuild_and_run.sh, and get the following error:

isl_utils.cpp:2231:79: error: cannot convert 'int*' to 'isl_bool*' for argument '3' to 'isl_union_pw_qpolynomial_fold* isl_union_pw_qpolynomial_bound(isl_union_pw_qpolynomial*, isl_fold, isl_bool*)'
   auto bound = isl_union_pw_qpolynomial_bound(cpy(range_card), isl_fold_min, b);
                                                                               ^
isl_utils.cpp: In function 'isl_union_pw_qpolynomial_fold* upper_bound(isl_union_pw_qpolynomial*)':
isl_utils.cpp:2238:79: error: cannot convert 'int*' to 'isl_bool*' for argument '3' to 'isl_union_pw_qpolynomial_fold* isl_union_pw_qpolynomial_bound(isl_union_pw_qpolynomial*, isl_fold, isl_bool*)'
   auto bound = isl_union_pw_qpolynomial_bound(cpy(range_card), isl_fold_max, b);
                                                                               ^
isl_utils.cpp: In function 'int int_lower_bound(isl_union_pw_qpolynomial*)':
isl_utils.cpp:3291:79: error: cannot convert 'int*' to 'isl_bool*' for argument '3' to 'isl_union_pw_qpolynomial_fold* isl_union_pw_qpolynomial_bound(isl_union_pw_qpolynomial*, isl_fold, isl_bool*)'
   auto bound = isl_union_pw_qpolynomial_bound(cpy(range_card), isl_fold_min, b);

[joyliu37]

Did you source the user settings? https://github.com/dillonhuff/clockwork#setting-your-private_settingssh