Use the file public_release_name

This commit is contained in:
Laurent Rineau 2018-10-02 12:55:48 +02:00
parent e041253f4b
commit 4002d3d04b
1 changed files with 5 additions and 1 deletions

View File

@ -297,7 +297,11 @@ if [ -n "$DO_PUBLIC" ]; then
if [ -n "$BETA" ]; then
public_release_version="${public_release_version}-beta${BETA}"
fi
if [ -r "${NUMBERS_DIR}/public_release_name" ]; then
public_release_name=`cat "${NUMBERS_DIR}/public_release_name"`
else
public_release_name="CGAL-${public_release_version}"
fi
cmake -DPUBLIC="ON" -DDESTINATION="${DESTINATION}" -DCGAL_VERSION="${public_release_version}" -DCGAL_VERSION_NR="${release_number}" -DVERBOSE="${VERBOSE}" -P ${SOURCES_DIR}/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake
pushd "${DESTINATION}/${public_release_name}"