caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: philippe esperet <philippe.esperet@gmail.com>
To: caml-list@yquem.inria.fr
Cc: alexis.robert@gmail.com, francois.boisson@prepas.org
Subject: Re: [Caml-list] Caml Light 0.8 and -fstrict-aliasing build issue
Date: Mon, 20 Jul 2009 15:18:37 +0200	[thread overview]
Message-ID: <ad96f1d80907200618k2f08629fg91f14a776cade304@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 790 bytes --]

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 /

I guess François has built a camlllight package for everyone.
(http://boisson.homeip.net)

Regards


-- 
philippe.esperet@gmail.com

[-- Attachment #2: Type: text/html, Size: 998 bytes --]

             reply	other threads:[~2009-07-20 13:18 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-07-20 13:18 philippe esperet [this message]
2009-07-20 14:06 ` Alexis ROBERT

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=ad96f1d80907200618k2f08629fg91f14a776cade304@mail.gmail.com \
    --to=philippe.esperet@gmail.com \
    --cc=alexis.robert@gmail.com \
    --cc=caml-list@yquem.inria.fr \
    --cc=francois.boisson@prepas.org \
    /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;
as well as URLs for NNTP newsgroup(s).