Makefile: fix $(LIB_OBJS) in `make install`. This fixed issue #15.

This commit is contained in:
Eran Tromer 2015-10-13 23:57:52 +03:00
parent d69bc496e5
commit 001b8cbb8d
1 changed files with 2 additions and 1 deletions

View File

@ -266,9 +266,10 @@ $(HEADERS_DEST): $(PREFIX)/include/libsnark/%: src/%
install: lib $(HEADERS_DEST) $(DEPLIB_EXISTS) install: lib $(HEADERS_DEST) $(DEPLIB_EXISTS)
mkdir -p $(PREFIX)/lib mkdir -p $(PREFIX)/lib
cp $(LIBOBJ) $(PREFIX)/lib/$(LIBOBJ) cp $(LIB_OBJS) $(PREFIX)/lib/
cp -rv $(DEPINST)/lib $(PREFIX) cp -rv $(DEPINST)/lib $(PREFIX)
cp -rv $(DEPINST)/include $(PREFIX) cp -rv $(DEPINST)/include $(PREFIX)
#TODO: Avoid copying the .exists sentinel into $(PREFIX)/lib/
endif endif
doxy: doxy: