If both are being built, then libpet.la depends on libisl.la.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>