2013-10-07 10:30:18 +00:00
|
|
|
From 996012f6abe0ce4d68a2de9f249935c6d5b467bc Mon Sep 17 00:00:00 2001
|
|
|
|
From: =?UTF-8?q?V=C3=ADt=20Ondruch?= <vondruch@redhat.com>
|
|
|
|
Date: Fri, 4 Oct 2013 22:13:11 +0200
|
|
|
|
Subject: [PATCH] Allow to specify addition preludes by configuration option.
|
|
|
|
|
|
|
|
---
|
2015-01-15 08:47:15 +00:00
|
|
|
Makefile.in | 2 ++
|
2013-10-07 10:30:18 +00:00
|
|
|
common.mk | 2 +-
|
|
|
|
configure.in | 7 +++++++
|
2015-01-15 08:47:15 +00:00
|
|
|
3 files changed, 10 insertions(+), 1 deletion(-)
|
2013-10-07 10:30:18 +00:00
|
|
|
|
2013-06-24 12:14:13 +00:00
|
|
|
diff --git a/Makefile.in b/Makefile.in
|
2013-10-07 10:30:18 +00:00
|
|
|
index 7e8ed82..7916993 100644
|
2013-06-24 12:14:13 +00:00
|
|
|
--- a/Makefile.in
|
|
|
|
+++ b/Makefile.in
|
2016-01-05 09:58:10 +00:00
|
|
|
@@ -116,6 +116,8 @@ XRUBY_RUBYLIBDIR = @XRUBY_RUBYLIBDIR@
|
2013-06-24 12:14:13 +00:00
|
|
|
XRUBY_RUBYHDRDIR = @XRUBY_RUBYHDRDIR@
|
2016-01-05 09:58:10 +00:00
|
|
|
BOOTSTRAPRUBY = @BOOTSTRAPRUBY@
|
2013-06-24 12:14:13 +00:00
|
|
|
|
|
|
|
+OPTIONAL_PRELUDES = @OPTIONAL_PRELUDES@
|
2015-01-15 08:47:15 +00:00
|
|
|
+
|
2013-06-24 12:14:13 +00:00
|
|
|
#### End of system configuration section. ####
|
|
|
|
|
2015-01-15 08:47:15 +00:00
|
|
|
MAJOR= @MAJOR@
|
2013-06-24 12:14:13 +00:00
|
|
|
diff --git a/common.mk b/common.mk
|
2013-10-07 10:30:18 +00:00
|
|
|
index 5cfbc3d..3f0a82e 100644
|
2013-06-24 12:14:13 +00:00
|
|
|
--- a/common.mk
|
|
|
|
+++ b/common.mk
|
2016-01-05 09:58:10 +00:00
|
|
|
@@ -127,7 +127,7 @@ ALLOBJS = $(NORMALMAINOBJ) $(MINIOBJS) $(COMMONOBJS) $(INITOBJS)
|
2013-06-24 12:14:13 +00:00
|
|
|
GOLFOBJS = goruby.$(OBJEXT) golf_prelude.$(OBJEXT)
|
|
|
|
|
2015-01-15 08:47:15 +00:00
|
|
|
DEFAULT_PRELUDES = $(GEM_PRELUDE)
|
2013-06-24 12:14:13 +00:00
|
|
|
-PRELUDE_SCRIPTS = $(srcdir)/prelude.rb $(srcdir)/enc/prelude.rb $(DEFAULT_PRELUDES)
|
|
|
|
+PRELUDE_SCRIPTS = $(srcdir)/prelude.rb $(srcdir)/enc/prelude.rb $(DEFAULT_PRELUDES) $(OPTIONAL_PRELUDES)
|
2015-01-15 08:47:15 +00:00
|
|
|
GEM_PRELUDE = $(srcdir)/gem_prelude.rb
|
|
|
|
PRELUDES = {$(srcdir)}prelude.c {$(srcdir)}miniprelude.c
|
|
|
|
GOLFPRELUDES = {$(srcdir)}golf_prelude.c
|
2013-06-24 12:14:13 +00:00
|
|
|
diff --git a/configure.in b/configure.in
|
2013-10-07 10:30:18 +00:00
|
|
|
index 0e371e2..d4f1dcb 100644
|
2013-06-24 12:14:13 +00:00
|
|
|
--- a/configure.in
|
|
|
|
+++ b/configure.in
|
2016-01-05 09:58:10 +00:00
|
|
|
@@ -4334,6 +4334,13 @@ AC_SUBST(rubyarchhdrdir)dnl
|
2013-06-24 12:14:13 +00:00
|
|
|
AC_SUBST(sitearchhdrdir)dnl
|
|
|
|
AC_SUBST(vendorarchhdrdir)dnl
|
|
|
|
|
|
|
|
+AC_ARG_WITH(prelude,
|
|
|
|
+ AS_HELP_STRING([--with-prelude=FILE-LIST], [specify additional preludes separated by space]),
|
|
|
|
+ [prelude=$withval])
|
|
|
|
+if test "$prelude" != ""; then
|
|
|
|
+ AC_SUBST(OPTIONAL_PRELUDES, $prelude)
|
|
|
|
+fi
|
|
|
|
+
|
|
|
|
AC_ARG_WITH(mantype,
|
|
|
|
AS_HELP_STRING([--with-mantype=TYPE], [specify man page type; TYPE is one of man and doc]),
|
|
|
|
[
|
2013-10-07 10:30:18 +00:00
|
|
|
--
|
|
|
|
1.8.3.1
|
|
|
|
|