mirror of https://github.com/CGAL/cgal
Create CGAL-3.x-I symlink (as autotest_cgal used to do)
This commit is contained in:
parent
9e0ee8713d
commit
7815f845e0
|
|
@ -294,9 +294,15 @@ unzip_cgal()
|
||||||
|
|
||||||
# check, if CGAL_DIR exists
|
# check, if CGAL_DIR exists
|
||||||
if [ -d "${CGAL_ROOT}/${CGAL_RELEASE_ID}" ]; then
|
if [ -d "${CGAL_ROOT}/${CGAL_RELEASE_ID}" ]; then
|
||||||
|
# Reset CGAL-I symlink
|
||||||
log "${ACTUAL_LOGFILE}" "Resetting CGAL-I symlink to ${CGAL_ROOT}/${CGAL_RELEASE_ID}"
|
log "${ACTUAL_LOGFILE}" "Resetting CGAL-I symlink to ${CGAL_ROOT}/${CGAL_RELEASE_ID}"
|
||||||
rm -f CGAL-I
|
rm -f CGAL-I
|
||||||
ln -s "${CGAL_ROOT}/${CGAL_RELEASE_ID}" CGAL-I
|
ln -s "${CGAL_ROOT}/${CGAL_RELEASE_ID}" CGAL-I
|
||||||
|
# Reset CGAL-3.x-I symlink
|
||||||
|
CGAL_RELEASE=`echo "${CGAL_RELEASE_ID}" | sed 's/I.*/I/'`
|
||||||
|
log "${ACTUAL_LOGFILE}" "Resetting ${CGAL_RELEASE} symlink to ${CGAL_ROOT}/${CGAL_RELEASE_ID}"
|
||||||
|
rm -f "${CGAL_RELEASE}"
|
||||||
|
ln -s "${CGAL_ROOT}/${CGAL_RELEASE_ID}" "${CGAL_RELEASE}"
|
||||||
else
|
else
|
||||||
error "directory ${CGAL_ROOT}/${CGAL_RELEASE_ID} does not exist"
|
error "directory ${CGAL_ROOT}/${CGAL_RELEASE_ID} does not exist"
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue