# # patch "Makefile" # from [d406a10c5a4add07e2a63a3926e1f8ec5134c2df] # to [4508b318048d0ab8116433ad4959364486e9265c] # # patch "config.make.in" # from [2ce163755bfad2267000b306499b53e0ff5140a9] # to [0b9565fac383b2c3f5ff40ecdefbf84a04c36089] # =============================================== --- Makefile d406a10c5a4add07e2a63a3926e1f8ec5134c2df +++ Makefile 4508b318048d0ab8116433ad4959364486e9265c @@ -116,6 +116,9 @@ cd glib && rm -f *.o *.cm* cd crypto && rm -f *.o *.cm* +install : + install -m 0755 $(NAME) $(bindir) + .PHONY : clean dist ifeq ($OCAMLBEST, opt) =============================================== --- config.make.in 2ce163755bfad2267000b306499b53e0ff5140a9 +++ config.make.in 0b9565fac383b2c3f5ff40ecdefbf84a04c36089 @@ -15,5 +15,9 @@ SQLITE_LIBS := @SQLITE_LIBS@ CPPFLAGS := @CPPFLAGS@ +prefix := @prefix@ +exec_prefix := @exec_prefix@ +bindir := @bindir@ + NAME := @PACKAGE_NAME@ VERSION := @PACKAGE_VERSION@