diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-02-10 00:59:59 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-02-10 14:22:11 +0100 |
| commit | ccc266c812b8ae5f3f909bb402fe8c43a78355d1 (patch) | |
| tree | d52b931878c8105ca1d6c710b5f81d69866959c8 /community/julia/makefile-dont-rebuild-docs.patch | |
| parent | 136745b4639d08fb13c3823db7d2a7d6f36a5fd6 (diff) | |
| download | aports-ccc266c812b8ae5f3f909bb402fe8c43a78355d1.tar.bz2 aports-ccc266c812b8ae5f3f909bb402fe8c43a78355d1.tar.xz | |
community/julia: fix build, fix -dbg subpkg and include HTML docs
Diffstat (limited to 'community/julia/makefile-dont-rebuild-docs.patch')
| -rw-r--r-- | community/julia/makefile-dont-rebuild-docs.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/community/julia/makefile-dont-rebuild-docs.patch b/community/julia/makefile-dont-rebuild-docs.patch new file mode 100644 index 0000000000..8e067a09ca --- /dev/null +++ b/community/julia/makefile-dont-rebuild-docs.patch @@ -0,0 +1,12 @@ +--- a/Makefile ++++ b/Makefile +@@ -338,8 +338,7 @@ + $(build_depsbindir)/stringreplace $$(strings -t x - $1 | grep '$2' | awk '{print $$1;}') '$3' 255 "$(call cygpath_w,$1)" + endef + +-install: $(build_depsbindir)/stringreplace $(BUILDROOT)/doc/_build/html/en/index.html +- @$(MAKE) $(QUIET_MAKE) all ++install: $(build_depsbindir)/stringreplace + @for subdir in $(bindir) $(datarootdir)/julia/site/$(VERSDIR) $(docdir) $(man1dir) $(includedir)/julia $(libdir) $(private_libdir) $(sysconfdir); do \ + mkdir -p $(DESTDIR)$$subdir; \ + done |