You do not necessarily need to use the dev version of OpenBLAS to do this. Instead you can specify the TARGET
manually as explained several times on the fenics-support mailing list. What you need to do is to modify the HashDist profile like this:
blas:
use: openblas
extra_flags: TARGET=<target>
where <target>
should match your CPU (see the list of available CPU targets).
However, if you do want to use the dev version of OpenBLAS, then you can first run
hit fetchgit -p openblas https://github.com/xianyi/OpenBLAS.git master
and then use the output from that command in your HashDist profile, like this:
blas:
use: openblas
sources:
- key: git:85636ff1a015d04d3a8f960bc644b85ee5157135
url: https://github.com/xianyi/OpenBLAS.git
BTW, installation related questions like this are better to be directed at the fenics-support mailing list.