diff options
| author | jasjuang <jasjuang@gmail.com> | 2017-10-13 21:25:18 -0700 |
|---|---|---|
| committer | jasjuang <jasjuang@gmail.com> | 2017-10-13 21:25:18 -0700 |
| commit | 4ce8f0aa31da63f84fc81dfd895faaeb03d5c7b1 (patch) | |
| tree | 1d0f299fa31404c939ad5c975756b73b1021888b /scripts/cmake/vcpkg_from_github.cmake | |
| parent | 0d7381ba408e4d5bcde06ab7a6353ff14e7afc0b (diff) | |
| download | vcpkg-4ce8f0aa31da63f84fc81dfd895faaeb03d5c7b1.tar.gz vcpkg-4ce8f0aa31da63f84fc81dfd895faaeb03d5c7b1.zip | |
new port: cgal
Diffstat (limited to 'scripts/cmake/vcpkg_from_github.cmake')
| -rw-r--r-- | scripts/cmake/vcpkg_from_github.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/cmake/vcpkg_from_github.cmake b/scripts/cmake/vcpkg_from_github.cmake index 645690353..d14077410 100644 --- a/scripts/cmake/vcpkg_from_github.cmake +++ b/scripts/cmake/vcpkg_from_github.cmake @@ -80,6 +80,7 @@ function(vcpkg_from_github) else() # Sometimes GitHub strips a leading 'v' off the REF. string(REGEX REPLACE "^v" "" REF ${BASEREF}) + string(REPLACE "/" "-" REF ${REF}) set(SOURCE_PATH "${BASE}/${REPO_NAME}-${REF}") if(EXISTS ${SOURCE_PATH}) set(${_vdud_OUT_SOURCE_PATH} "${SOURCE_PATH}" PARENT_SCOPE) |