Use CORAL_HOME in coral repo path to make it relocatable.
Generated coral-repository has /cvmfs/... path in it which breaks things when moved to P1. Using ${CORAL_HOME} instead should make it more portable.
Generated coral-repository has /cvmfs/... path in it which breaks things when moved to P1. Using ${CORAL_HOME} instead should make it more portable.