update isl for isl_space_domain_factor_domain

[ppn.git] / get_submodules.sh

#!/bin/sh
git submodule init
git submodule update
(cd barvinok; git submodule init polylib; git submodule update polylib)