[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Paparazzi-devel] Compile error

From: Pascal
Subject: Re: [Paparazzi-devel] Compile error
Date: Wed, 09 Aug 2006 08:06:14 +0200
User-agent: Debian Thunderbird 1.0.2 (X11/20050602)


bizarre ocamldep rale à propos de ce répertoire non-existant alors que ocamlc
ne dit rien. En l'occurrence:
- cette option -I +xml-light est inutile pour ocamldep
- ce répertoire sw/ground_segment/wind me semble out of date (wind est intégré au
serveur dans tmtc/). Je le supprime ?


En l'occurrence

Antoine wrote:

My big fault... sorry

It happens that the xml parser that we use for ocaml ( xml-light ) has finally made it into debian etch and sid, but not at the same place that when we packaged it. So to make a long story short, on sarge, as a quick workaround as root, do
mkdir /usr/lib/ocaml/3.08.3/xml-light
while I make a new xml-light package for sarge



Yves Touchette wrote:


I'm getting this compilation error with the current version from CVS after a fresh co:

make demo
cd sw/ground_segment/wind; make
ocamldep -I ../../lib/ocaml -I +lablgtk2 -I +xml-light *.mli *.ml > .depend Bad -I option: /usr/lib/ocaml/3.08.3/xml-light: No such file or directory
make[1]: *** [.depend] Error 2
make: *** [wind] Error 2

The strange this is if I re-run make demo right after, it completes the compilation and runs fine.

make demo
cd sw/ground_segment/wind; make
ocamlc -I ../../lib/ocaml -I +lablgtk2 -I +xml-light -c wind.mli
ocamlc -I ../../lib/ocaml -I +lablgtk2 -I +xml-light -o wind xml-light.cma glibivy-ocaml.cma lablgtk.cma str.cma lib-pprz.cma # To check
cat ../../../ > wind
echo 'ocaml -I +lablgtk2 -I $PAPARAZZI_SRC/sw/lib/ocaml -I +xml-light xml-light.cma glibivy-ocaml.cma lablgtk.cma str.cma lib-pprz.cma $PAPARAZZI_SRC/sw/ground_segment/wind/ $*' >> wind
chmod a+x wind

Am I the only one with this issue?


Paparazzi-devel mailing list

Paparazzi-devel mailing list

reply via email to

[Prev in Thread] Current Thread [Next in Thread]