Re: [Xen-devel] tools: ocaml build error

[Christoph Egger <Christoph.Egger@xxxxxxx>]

On 05/12/11 12:57, Ian Campbell wrote:
> On Thu, 2011-05-12 at 11:53 +0100, Christoph Egger wrote:
> > On 05/11/11 12:16, Ian Campbell wrote:
> > > On Wed, 2011-05-11 at 10:48 +0100, Christoph Egger wrote:
> > > > Hi,
> > > >
> > > > Compiling the ocaml fails:
> > > >
> > > > Parsing tools/ocaml/libs/xl/../../../../tools/libxl/libxl.idl
> > > > sed: 1: "1i(*\
> > > >     * AUTO-GENERATED ...": command i expects \ followed by test
> > > > gmake[7]: Leaving directory `tools/ocaml/libs/xl'
> > > I guess the sed script in tools/ocaml/libs/xl/Makefile has some
> > > non-posix-ism in it.
> > >
> > > Using gnu sed with --posix the following works for me (I dropped the
> > > --posix). Does it help ?
> > I have to widthdraw my previous ack. The sed script didn't run because
> > of empty xm.ml and xm.mli files.
> >
> > After running gmake dist-clean and recompile I get this error:
> >
> > Parsing tools/ocaml/libs/xl/../../../../tools/libxl/libxl.idl
> > sed: 1: "1i\(*\
> >       * AUTO-GENERATED ...": extra characters after \ at the end of i command
> > gmake[7]: Leaving directory `tools/ocaml/libs/xl'
> Can you play a bit with your version of sed and see what makes it happy?
>
> Perhaps \n (suitable quoted) orjust a raw linefeed will work? If not
> maybe just stick the whole autogenerated tag on a single line, or use
> multiple i commands, or ....
>
> I guess it wouldn't be the end of the world to do:
>         echo "(* AUTO GEN... mummble etc *)">  xl.ml
>         sed -e '/^(\* @@LIBXL_TYPES@@ \*)$$/r_libxl_types.ml.in'<bla>>xl.ml
With attached xen_tools_ocaml.diff  a xl.ml file is generated w/o
having sed complaining.
xl.mli is not generated at all.

I attached xl.ml. Can you check if this is the expected result, please?

Christoph


--
---to satisfy European Law for business letters:
Advanced Micro Devices GmbH
Einsteinring 24, 85689 Dornach b. Muenchen
Geschaeftsfuehrer: Alberto Bozzo, Andrew Bowd
Sitz: Dornach, Gemeinde Aschheim, Landkreis Muenchen
Registergericht Muenchen, HRB Nr. 43632

xen_tools_ocaml.diff
Description: xen_tools_ocaml.diff

xl.ml
Description: xl.ml

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel