From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA30340; Mon, 26 Aug 2002 13:04:23 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA30188 for <caml-list@pauillac.inria.fr>; Mon, 26 Aug 2002 13:04:22 +0200 (MET DST)
Received: from comtv.ru (comtv.ru [217.10.32.4])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7QB4L917583
	for <caml-list@inria.fr>; Mon, 26 Aug 2002 13:04:21 +0200 (MET DST)
Received: from [10.0.66.9] ([10.0.66.9] verified)
  by comtv.ru (CommuniGate Pro SMTP 3.5.9)
  with ESMTP-TLS id 4226339; Mon, 26 Aug 2002 15:04:20 +0400
Date: Mon, 26 Aug 2002 15:03:58 +0400 (MSD)
From: malc <malc@pulsesoft.com>
X-X-Sender: malc@home.oyster.ru
To: Sven LUTHER <luther@dpt-info.u-strasbg.fr>
cc: Oliver Bandel <oliver@first.in-berlin.de>, <caml-list@inria.fr>
Subject: Re: [Caml-list] "No bytecode specified"
In-Reply-To: <20020826083804.GA1103@iliana>
Message-ID: <Pine.LNX.4.44.0208261503090.2523-100000@home.oyster.ru>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

On Mon, 26 Aug 2002, Sven LUTHER wrote:

> Alternatively, strip can be fixed to know about ocaml bytecode.
> 
> I was also told that if the ocaml team would have used another
> label/tag/whatever it is called in the binary code than the one it is
> using, then strip would know about it. But then, i am not expert on
> that, and i guess the ocaml team don't think it is a good idea, since i
> never got any response to the message i sent about it (back when i was
> told that).
Either that, or:

#!/bin/sh

elfsize=`readelf -h $1 | awk '
/Start of section headers:/ {secoff=$5}
/Size of section headers:/ {seclen=$5}
/Number of section headers:/ {seccnt=$5}
END { print seccnt*seclen+secoff; }
'`
filesize=`ls -l $1 | awk '{print $5}'`

strip -o $1.elf.striped $1
tail -c $[filesize-elfsize] $1 > $1.caml.striped
cat $1.elf.striped $1.caml.striped > $1.striped
chmod +x $1.striped

rm -f $1.elf.striped $1.caml.striped


-- 
mailto:malc@pulsesoft.com

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners