it only uses gmp/mpir, should be easy. On debian, sudo apt install libisl-dev.

Component: build: configure

Author: Dima Pasechnik

Branch/Commit: cbd2229

Reviewer: Isuru Fernando

Issue created by migration from https://trac.sagemath.org/ticket/27864