'make distrib' (using the Makefile) includes both bin/libHalide.so and lib/libHalide.a, whereas 'make distrib' (using CMake) includes only the former, not the latter. This should be fixed so that both build systems produce identical distrib folders.
(See also the ancient PR #2516)