Sorry, it seems just copy the file ispc to /usr/local/bin (I do my work on Ubuntu), I’m not very sure, it’s some time ago.