[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