Nicolas Vigier
|
b466ec4bcf
Bug 23075: rename RBM_NB_CORES to RBM_NUM_CORES
|
7 years ago |
Nicolas Vigier
|
60ba86636d
Bug 23075: add an option to select the number of cores used
|
7 years ago |
Nicolas Vigier
|
73c030f1c8
Add var/set_default_env and use it in all build scripts
|
7 years ago |
Nicolas Vigier
|
df8471bf62
Add projects/gmp
|
7 years ago |