aboutsummaryrefslogtreecommitdiff
path: root/gcc/jit
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2022-11-08 11:06:26 +0100
committerMartin Liska <mliska@suse.cz>2022-11-09 09:00:36 +0100
commite5821d3f62b5bf532db1be661459b7553a956fa2 (patch)
tree1b9271fc3dc7589b00711bf940ed77146f85368e /gcc/jit
parent8857a1e350cf34c4ac06429ec4cb97228489dd07 (diff)
downloadgcc-e5821d3f62b5bf532db1be661459b7553a956fa2.zip
gcc-e5821d3f62b5bf532db1be661459b7553a956fa2.tar.gz
gcc-e5821d3f62b5bf532db1be661459b7553a956fa2.tar.bz2
sphinx: support installation if sphinx-build is missing
gcc/ChangeLog: * Makefile.in: Support installation if sphinx-build is missing. gcc/ada/ChangeLog: * gcc-interface/Make-lang.in: Support installation if sphinx-build is missing. gcc/cp/ChangeLog: * Make-lang.in: Support installation if sphinx-build is missing. gcc/d/ChangeLog: * Make-lang.in: Support installation if sphinx-build is missing. gcc/fortran/ChangeLog: * Make-lang.in: Support installation if sphinx-build is missing. gcc/go/ChangeLog: * Make-lang.in: Support installation if sphinx-build is missing. Support installation if sphinx-build is missing. gcc/jit/ChangeLog: * Make-lang.in: Support installation if sphinx-build is missing.
Diffstat (limited to 'gcc/jit')
-rw-r--r--gcc/jit/Make-lang.in10
1 files changed, 3 insertions, 7 deletions
diff --git a/gcc/jit/Make-lang.in b/gcc/jit/Make-lang.in
index e972a25..4b592aa 100644
--- a/gcc/jit/Make-lang.in
+++ b/gcc/jit/Make-lang.in
@@ -251,8 +251,7 @@ doc/libgccjit/info/texinfo/libgccjit.info: $(SPHINX_FILES)
jit.install-info: $(DESTDIR)$(infodir)/libgccjit.info
$(DESTDIR)$(infodir)/libgccjit.info: doc/libgccjit/info/texinfo/libgccjit.info installdirs
- -rm -f $@
- -$(INSTALL_DATA) $< $@
+ -if [ -f $< ]; then rm -f $@; $(INSTALL_DATA) $< $@; fi
doc/libgccjit/html/html/index.html: $(SPHINX_FILES)
+ make -C $(srcdir)/../doc html SOURCEDIR=$(abs_srcdir)/jit/doc/ BUILDDIR=$(objdir)/doc/libgccjit/html SPHINXBUILD=$(SPHINX_BUILD)
@@ -393,11 +392,8 @@ endif
jit.install-man: $(DESTDIR)$(man1dir)/libgccjit$(man1ext)
-$(DESTDIR)$(man1dir)/libgccjit$(man1ext): doc/libgccjit/man/man/libgccjit.1 \
- installdirs
- -rm -f $@
- -$(INSTALL_DATA) $< $@
- -chmod a-x $@
+$(DESTDIR)$(man1dir)/libgccjit$(man1ext): doc/libgccjit/man/man/libgccjit.1 installdirs
+ -if [ -f $< ]; then rm -f $@; $(INSTALL_DATA) $< $@; chmod a-x $@; fi
jit.install-plugin: