From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id ED5BBBBAF for ; Mon, 20 Jul 2009 15:18:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYBABoMZErRVdzWkWdsb2JhbACCIzGWSD8BAQEBCQkMBxGlD4EbjiUBAwIEhAgFgT8 X-IronPort-AV: E=Sophos;i="4.43,234,1246831200"; d="scan'208";a="30071581" Received: from mail-fx0-f214.google.com ([209.85.220.214]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Jul 2009 15:18:37 +0200 Received: by fxm10 with SMTP id 10so2012701fxm.27 for ; Mon, 20 Jul 2009 06:18:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:cc:content-type; bh=FIeJX++iVa00pSJSXj8W5fDzWzBPbAD6z0L7yj0BlVQ=; b=wUnwu7dKo2n/AwAmGby1rzAFdgFdVlXl42cJkhAYVQsglnjo6IinC/Noxs6XbVbTuc Ih2pQqZDoK3N0AsPahWrTZ+Py96CD94qC7V+JrKyF1f1ve75k6C9Rq8MA3kSWcsvgnK/ y+Y5zLZrJen7WP0wBpcNBMNAMTaOFJ9OZwwJQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:cc:content-type; b=ZKZufLUuH7HCjPTp4PRcQ/dAmMIMux/DqjZ6eXUV0BIeJdaSCq29+uxhBWvSlt5Hb3 k5S/6RrOmpqy/ivSF228oysMRfqf8WlLxkvWQKdLkzl45VY3FIP6sgtVuIYDRGpx8JQB 9JKP1OsQ4sGXwjX0ij/6LfJCN2EH7C1VSasys= MIME-Version: 1.0 Received: by 10.204.68.15 with SMTP id t15mr4244688bki.139.1248095917240; Mon, 20 Jul 2009 06:18:37 -0700 (PDT) Date: Mon, 20 Jul 2009 15:18:37 +0200 Message-ID: Subject: Re: [Caml-list] Caml Light 0.8 and -fstrict-aliasing build issue From: philippe esperet To: caml-list@yquem.inria.fr Cc: alexis.robert@gmail.com, francois.boisson@prepas.org Content-Type: multipart/alternative; boundary=001636c5bcf9caf219046f22f90f X-Spam: no; 0.00; prepas:01 ocaml:01 mpsi:01 ocaml:01 homeip:01 prepas:01 mpsi:01 homeip:01 0.8:98 2009:98 0.80:98 0.80:98 2009:98 config:01 config:01 --001636c5bcf9caf219046f22f90f Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 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=E7ois Boisson makes the trick with something like (suse 11.1) dpkg-deb -x camllight_0.80_amd64.deb / I guess Fran=E7ois has built a camlllight package for everyone. (http://boisson.homeip.net) Regards --=20 philippe.esperet@gmail.com --001636c5bcf9caf219046f22f90f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable francois.boisson@prepas.org<= /a>
%%%%%%%%%%%%%%%%%%%%%
/dosc/esperet/tex/email/@ocaml9.tex lun. ju= il. 20 2009 15:01:49

% As the MPSI programme force us to use Caml Li= ght 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 u= se 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= =E7ois Boisson
makes the trick with something like (suse 11.1)

dp= kg-deb -x camllight_0.80_amd64.deb /

I guess Fran=E7ois has built a = camlllight package for everyone.
(http://boisson.homeip.net)
Regards


--
philippe.esperet@gmail.com
--001636c5bcf9caf219046f22f90f--