This is the mail archive of the
mailing list for the Cygwin project.
Re: unison-2.10.2-1 and unison-gtk2-2.10.2-1
- From: Igor Pechtchanski <pechtcha at cs dot nyu dot edu>
- To: Schulman dot Andrew at epamail dot epa dot gov
- Cc: cygwin-apps at cygwin dot com
- Date: Tue, 21 Sep 2004 14:38:34 -0400 (EDT)
- Subject: Re: unison-2.10.2-1 and unison-gtk2-2.10.2-1
- References: <OF235D3B80.5138B790-ON85256F16.005A4470-85256F16.005A8097@epamail.epa.gov>
- Reply-to: cygwin-apps at cygwin dot com
On Tue, 21 Sep 2004, Schulman.Andrew wrote:
> > I have done a Cygwin package of LablGtk now, just add the Cygwin
> > specific README and sign it with your name, if there are no objections
> > it will be included in the netrelease and unison-gtk2 is GTG, once we
> > found the reason why I needed to apply the beloow changes. Fetch the
> > LablGtk package here: http://188.8.131.52/lablgtk/
> I decided to go ahead and build a lablgtk2 package myself, so I can
> reasonably maintain it in the future.
> I've built the package, but now I have a problem: if I strip
> /usr/lib/ocaml/lablgtk2/lablgtktop.exe, then when I run
> /usr/bin/lablgtk2, I get "Unknown option -w":
> $ lablgtk2 -verbose
> /usr/lib/ocaml/lablgtk2/lablgtktop -w s -I /usr/local/stow/lablgtk-2.4.0
> /usr/lib/ocaml/lablgtk2 -I gtkInit.cmo
> Unknown option -w.
> If I don't strip lablgtktop.exe, then I don't get this error. I can't
> find any documentation about what the '-w s' option does, but I believe
> it's supposed to be passed on to the OCaml compiler.
> Questions: should I just give up on stripping the executable? Or is
> there a workaround? Do I need the -w option at all? Sorry, but I know
> almost nothing about OCaml or LablGTK.
Yes, don't strip ocaml executables -- they have embedded bytecode, and
stripping screws them up (as I've learned the hard way).
|\ _,,,---,,_ firstname.lastname@example.org
ZZZzz /,`.-'`' -. ;-;;,_ email@example.com
|,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D.
'---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
"Happiness lies in being privileged to work hard for long hours in doing
whatever you think is worth doing." -- Dr. Jubal Harshaw