| 1 | Avoid the default dynamic executable, which depends on minisat.so
|
| 2 | Instead install the release version, which is statically linked.
|
| 3 |
|
| 4 | diff --git a/Makefile b/Makefile
|
| 5 | index ceb9d77..7b91906 100644
|
| 6 | |
| 7 | |
| 8 | @@ -191,9 +191,9 @@ install-lib: $(BUILD_DIR)/release/lib/$(MINISAT_SLIB) $(BUILD_DIR)/dynamic/lib/$
|
| 9 | ln -sf $(MINISAT_DLIB).$(SOMAJOR) $(DESTDIR)$(libdir)/$(MINISAT_DLIB)
|
| 10 | $(INSTALL) -m 644 $(BUILD_DIR)/release/lib/$(MINISAT_SLIB) $(DESTDIR)$(libdir)
|
| 11 |
|
| 12 | -install-bin: $(BUILD_DIR)/dynamic/bin/$(MINISAT)
|
| 13 | +install-bin: $(BUILD_DIR)/release/bin/$(MINISAT)
|
| 14 | $(INSTALL) -d $(DESTDIR)$(bindir)
|
| 15 | - $(INSTALL) -m 755 $(BUILD_DIR)/dynamic/bin/$(MINISAT) $(DESTDIR)$(bindir)
|
| 16 | + $(INSTALL) -m 755 $(BUILD_DIR)/release/bin/$(MINISAT) $(DESTDIR)$(bindir)
|
| 17 |
|
| 18 | clean:
|
| 19 | rm -f $(foreach t, release debug profile dynamic, $(foreach o, $(SRCS:.cc=.o), $(BUILD_DIR)/$t/$o)) \
|