<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hello all,</div>
<div> </div>
<div>I'm surprised that there is no token <DOWNLOAD_DIR> available in ExternalProject.</div>
<div> </div>
<div>As written in the documentation [1] there are tokens <SOURCE_DIR>, <SOURCE_SUBDIR>, <BINARY_DIR>, <INSTALL_DIR>, and <TMP_DIR>. But <DOWNLOAD_DIR> seems to be missing. </div>
<div> </div>
<div>However if I have an external project with a custom DOWNLOAD_COMMAND it would be handy to be able to use <DOWNLOAD_DIR> in the following steps.</div>
<div> </div>
<div>Is there another way to know the download directory without setting it explicitely? </div>
<div> </div>
<div>Best,</div>
<div>Bjorn</div>
<div> </div>
<div> </div>
<div>[1] <a href="https://cmake.org/cmake/help/latest/module/ExternalProject.html#id4" target="_blank">https://cmake.org/cmake/help/latest/module/ExternalProject.html#id4</a></div></div></body></html>