diff options
Diffstat (limited to 'make-install-no-build.patch')
-rw-r--r-- | make-install-no-build.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/make-install-no-build.patch b/make-install-no-build.patch new file mode 100644 index 000000000000..6d89d95be605 --- /dev/null +++ b/make-install-no-build.patch @@ -0,0 +1,16 @@ +--- 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 + + +-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 |