diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-18 18:50:23 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-18 18:52:30 +0000 |
| commit | 8e82dcc513b2e61e981c39987af426e700c607ad (patch) | |
| tree | ac6cc9d775fdc88e706a5ca5af6ac0ef1e092901 /reproduce/analysis/make/top.mk | |
| parent | 5c51f92f2535a2153ae46fb6311ffd9a15c244b3 (diff) | |
No Bzip2 shared libraries on macOS systems
Bzip2 has a special/separate Makefile to build shared libraries which
didn't work on a macOS. So with this commit, we are allowing Bzip2 shared
libraries only on macOS systems.
Also, I noticed that macOS's `sed' doesn't have the `-i' option (to do the
change in place within the same file). So we are using `-e' to write the
changed Makefile in a temporary directory, then rename that.
Diffstat (limited to 'reproduce/analysis/make/top.mk')
0 files changed, 0 insertions, 0 deletions