
15 Nov
2015
15 Nov
'15
5:37 a.m.
Ömer Sinan Ağacan
Hi all,
I'm having this annoying issue all the time: Whenever a `git pull origin master` updates a library(one of the submodules, like `Binary`) a `make` doesn't trigger required rebuilds(e.g. it doesn't rebuild libraries and tries to rebuild GHC code).
I don't know how to force build libraries, so most of the time I end up doing `make distclean` and wasting 30 minutes.
You could try removing the dist-install/ directory of the relevant library. It generally triggers a rebuild (albeit not necessarily minimal). That being said, I generally just distclean when there's any question. Cheers, - Ben