Operating system option in PGI CDK

Hi,
The operating system running on the cluster here is CentOS. Since this is not listed in the installation options (the 13 listed options), which one of the options should I be using?

Regards
Aditya

CentOS is based on Red Hat. If you have CentOS 4, then RHEL 4 should be your choice. I believe CentOS 3 is based on RHEL 3.

I checked the installcdk script for 6.2-5 CDK, the choice should be 10 Red Hat Enterprise Linux 4. 13 is for Fedora Core.

Note that number listed on the options may change release by release. You will need to look for Red Hat Enterprise Linux 4.