mirror of https://github.com/zcash/libsnark.git
Makefile: fix $(LIB_OBJS) in `make install`. This fixed issue #15.
This commit is contained in:
parent
d69bc496e5
commit
001b8cbb8d
3
Makefile
3
Makefile
|
@ -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:
|
||||||
|
|
Loading…
Reference in New Issue