From: Alexis ROBERT <alexis.robert@gmail.com>
To: philippe esperet <philippe.esperet@gmail.com>
Cc: caml-list@yquem.inria.fr, francois.boisson@prepas.org
Subject: Re: [Caml-list] Caml Light 0.8 and -fstrict-aliasing build issue
Date: Mon, 20 Jul 2009 16:06:03 +0200 [thread overview]
Message-ID: <4A6479CB.7080702@gmail.com> (raw)
In-Reply-To: <ad96f1d80907200618k2f08629fg91f14a776cade304@mail.gmail.com>
philippe esperet a écrit :
> francois.boisson@prepas.org <mailto:francois.boisson@prepas.org>
> %%%%%%%%%%%%%%%%%%%%%
> /dosc/esperet/tex/email/@ocaml9.tex lun. juil. 20 2009 15:01:49
>
> % As the MPSI programme force us to use Caml Light instead of OCaml (our
> % teachers hit us each time we pronounce ocaml :) ), I tried to build
> % the sources on my computer, but during the build, I got this :
>
> We use Ocaml in henri IV for three years, nevertheless I try for fun
> to keep the old camllight each time I change my linux config. At home,
> on a 64 bits platform:
>
> camllight_0.80_amd64.deb from the guru François Boisson
> makes the trick with something like (suse 11.1)
>
> dpkg-deb -x camllight_0.80_amd64.deb /
At Fenelon, my teachers tell us they don't want us to have problems with
examiners who are not familiar with OCaml, but we can use it if we want,
even if everything is under Caml Light there.
Thanks for the trick, I was used to manually uncompress it with ar x and
then untar data.tar.gz in / :)
I've looked into the strings of the binaries bundled in the package and
it shows "GCC: (GNU) 3.4.6 (Ubuntu 3.4.6-8ubuntu2)", and
-fstrict-aliasing seems disabled in GCC 3.4.
The strange thing is that even if gcc-3.4 is in build-dep of the
dpkg-source package, I don't see where it uses it in debian/rules or any
Makefile (and debuild fails at building the package, it doesn't execute
the build step of rules for a reason I don't understand, but if I
manually launch the step, I get the same error).
Thanks
Alexis
prev parent reply other threads:[~2009-07-20 14:06 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-07-20 13:18 philippe esperet
2009-07-20 14:06 ` Alexis ROBERT [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4A6479CB.7080702@gmail.com \
--to=alexis.robert@gmail.com \
--cc=caml-list@yquem.inria.fr \
--cc=francois.boisson@prepas.org \
--cc=philippe.esperet@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox