[ragel-users] [PATCH 1/3] Don't use install -s to strip files during install.
Adrian Thurston
thurs... at cs.queensu.ca
Mon Oct 6 16:36:14 UTC 2008
Hmmm, I thought it was more common to install and strip the files. Maybe
another target, install-debug, would be better?
-Adrian
Diego 'Flameeyes' Pettenò wrote:
> Allow the user to decide whether to strip files or not, by using
> install -s the user has no choice but to install stripped files, which
> will be a problem to debug; most distributions will also not want
> files to be stripped during install, and would rather take care of
> stripping them through their own packaging toolchain (so that debug
> packages may also be provided, for instance).
> ---
>
> ragel/Makefile.in | 2 +-
> rlgen-dot/Makefile.in | 2 +-
> 2 files changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/ragel/Makefile.in b/ragel/Makefile.in
> index 6190a5f..daa42e7 100644
> --- a/ragel/Makefile.in
> +++ b/ragel/Makefile.in
> @@ -96,6 +96,6 @@ clean:
>
> install: all
> install -d $(prefix)/bin
> - install -s ragel $(prefix)/bin/ragel
> + install ragel $(prefix)/bin/ragel
>
> -include $(DEPS)
> diff --git a/rlgen-dot/Makefile.in b/rlgen-dot/Makefile.in
> index 3f7b7f6..7cd4ee6 100644
> --- a/rlgen-dot/Makefile.in
> +++ b/rlgen-dot/Makefile.in
> @@ -63,6 +63,6 @@ clean:
>
> install: all
> install -d $(prefix)/bin
> - install -s rlgen-dot $(prefix)/bin/rlgen-dot
> + install rlgen-dot $(prefix)/bin/rlgen-dot
>
> -include $(DEPS)
>
>
>
More information about the ragel-users
mailing list