dep_scripts: Support the definition of specific environment variables for a dependency
Profiles currently do not support the definition of the environment variables that should be used for building/installing a dependency. This is slightly problematic, since for example it causes us to build rocksdb
with the following environment variables by default:
PORTABLE=1 USE_SSE=1 USE_RTTI=1 make -j"${CORES}" static_lib
The PORTABLE
and USE_SSE
variables force rocksdb
to use generic machine instructions for some optimizations. This only makes sense in the ci
profile (see #171 (closed)) , where we build rocksdb
in one machine (e.g. a laptop to build the Docker image) and run it in another (i.e. the ci machine). For local builds (which would be 99.8% of the cases), we might be losing performance by not using the optimized instructions in the machine.
Thus, it would be nice to be able to define in a profile which variables should be used when building/installing.