diff options
Diffstat (limited to 'make-install-no-build.patch')
-rw-r--r-- | make-install-no-build.patch | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/make-install-no-build.patch b/make-install-no-build.patch index 6d89d95be605..ec3efe5faa24 100644 --- a/make-install-no-build.patch +++ b/make-install-no-build.patch @@ -1,16 +1,14 @@ --- julia-1.3.0/Makefile.orig 2019-12-06 12:54:23.879790955 +0000 +++ julia-1.3.0/Makefile 2019-12-06 12:54:36.329952953 +0000 -@@ -277,12 +277,7 @@ - endif +@@ -277,11 +277,6 @@ --install: $(build_depsbindir)/stringreplace $(BUILDROOT)/doc/_build/html/en/index.html + install: $(build_depsbindir)/stringreplace $(BUILDROOT)/doc/_build/html/en/index.html -ifeq ($(BUNDLE_DEBUG_LIBS),1) - @$(MAKE) $(QUIET_MAKE) all -else - @$(MAKE) $(QUIET_MAKE) release -endif -+install: @for subdir in $(bindir) $(datarootdir)/julia/stdlib/$(VERSDIR) $(docdir) $(man1dir) $(includedir)/julia $(libdir) $(private_libdir) $(sysconfdir) $(libexecdir); do \ mkdir -p $(DESTDIR)$$subdir; \ done |