Skip to content

`dl_deps.sh` can download the same dependency in several versions but unpacks them into the same directory

This issue appeared in the default:latest dependency set where rocksdb and rocksdb:experimental is downloaded but unpacked in the rocksdb directory.

Since downloading is parallel, it could be either of both versions or mixed if they are unpacked together, which may lead to compilation errors.

Expected behavior: Since a ordering in the profiles can be given, multiple versions should still be able to download (to separate directories). Each can then be chosen later in compile_deps.sh with -d. Otherwise

Linked to #176 (closed)