mirror of https://github.com/CGAL/cgal
remove INTERNAL option that is redundant
This commit is contained in:
parent
df15f0ece5
commit
bb8e7127f6
|
|
@ -1,8 +1,7 @@
|
|||
#option :
|
||||
# DESTINATION the path where the release is create, default is /tmp
|
||||
# PUBLIC=[ON/OFF] indicates if a public release should be built
|
||||
# INTERNAL=[ON/OFF] indicates if an internal release should be built
|
||||
# VERBOSE=[ON/OFF] makes the script more verbose
|
||||
# DESTINATION the path where the release is created, default is /tmp
|
||||
# PUBLIC=[ON/OFF] indicates if a public release should be built, default is OFF
|
||||
# VERBOSE=[ON/OFF] makes the script more verbose, default is OFF
|
||||
|
||||
if (NOT EXISTS ${CMAKE_BINARY_DIR}/Installation/include/CGAL/version.h)
|
||||
message(FATAL_ERROR "Cannot find Installation/include/CGAL/version.h. Make sure you are at the root of a CGAL branch")
|
||||
|
|
@ -24,11 +23,6 @@ if (NOT DEFINED DESTINATION)
|
|||
SET(DESTINATION "/tmp")
|
||||
endif()
|
||||
|
||||
# Check consistency.
|
||||
if(PUBLIC AND INTERNAL)
|
||||
message(FATAL_ERROR "You can only create either an internal or a public release.")
|
||||
endif()
|
||||
|
||||
set(release_dir "${DESTINATION}/CGAL-${CGAL_VERSION}")
|
||||
if(EXISTS ${release_dir})
|
||||
file(REMOVE_RECURSE ${release_dir})
|
||||
|
|
|
|||
Loading…
Reference in New Issue