diff --git a/src/Makefile.src b/src/Makefile.src index f329f58d9e810818e6e94211f46396363b845740..5a3c3cf75fae98dd71b1c8a8ee31ddee222e63ff 100644 --- a/src/Makefile.src +++ b/src/Makefile.src @@ -133,6 +133,9 @@ install: $(INSTALL) ./pike $(exec_prefix) if [ ! -d "$(prefix)/lib" ]; then mkdir "$(prefix)/lib" ; chmod 755 "$(prefix)/lib" ; else : ; fi if [ ! -d "$(lib_prefix)" ]; then mkdir "$(lib_prefix)" ; chmod 755 "$(lib_prefix)" ; else : ; fi + if [ ! -d "$(prefix)/include" ]; then mkdir "$(prefix)/include"; chmod 755 "$(prefix)/include"; fi + if [ ! -d "$(prefix)/include/pike" ]; then mkdir "$(prefix)/include/pike"; chmod 755 "$(prefix)/include/pike"; fi + $(INSTALL) $(SRCDIR)/*.h *.h $(prefix)/include/pike $(INSTALL) $(TMP_LIBDIR)/master.pike $(lib_prefix) cp -r $(TMP_LIBDIR)/include $(lib_prefix)