Closed fboemer closed 6 years ago
Seems to be fixed in latest build [ 40%] Built target ext_seal [ 46%] Built target ext_gmp [ 48%] Built target ext_gtest [ 70%] Built target ext_ntl [ 70%] Built target test-he-lib [ 86%] Built target ext_heaan [100%] Built target he
He depends on ext_heaan, which depends on ext_ntl, which depends on ext_gmp, so this shouldn't be the case.