From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9E3867F0EF for ; Wed, 27 Jan 2016 16:04:36 +0100 (CET) IronPort-PHdr: 9a23:mWPx9hwYAOV4rCbXCy+O+j09IxM/srCxBDY+r6Qd0O4TIJqq85mqBkHD//Il1AaPBtWEraoewLWM+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU1578iLr60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jOuBnPTEOj4XQTT3Rexh9FAwTExB39UZjso239rOUrnGG+OtD3VvgbVC+o4r13AEvsjzoGLHg2/Xrdh9ZspKVQqRelvwZ4hYXTZdfRfPF3e6eYedIBWUJAWNxQXmpPGNCSdYwKWsMHIeZfqZi1nFADqBK7DEH4H+jizzZNj1f3x7Yz1u9nDBndmRAkBN9Ivm6C/4a9D7sbTe3glPqA9j7Edf4DnG6lsIU= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=scemama@irsamc.ups-tlse.fr; spf=None smtp.mailfrom=scemama@irsamc.ups-tlse.fr; spf=None smtp.helo=postmaster@smtp2.cict.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of scemama@irsamc.ups-tlse.fr) identity=pra; client-ip=195.220.59.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="scemama@irsamc.ups-tlse.fr"; x-sender="scemama@irsamc.ups-tlse.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of scemama@irsamc.ups-tlse.fr) identity=mailfrom; client-ip=195.220.59.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="scemama@irsamc.ups-tlse.fr"; x-sender="scemama@irsamc.ups-tlse.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp2.cict.fr) identity=helo; client-ip=195.220.59.17; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="scemama@irsamc.ups-tlse.fr"; x-sender="postmaster@smtp2.cict.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C/AAC326hWnBE73MNehAxtiFexPgENgWIihW0CgUg4FAEBAQEBAQEBEAEBAQEBCAsJCSEugi2CFAEBAQMBI1UGCwsYCRYLAgIJAwIBAgFFBgEMCAKIDwgECq46jy8BAQgBAQEBHIpLhzqBOgWHVocHiB6FR4gPgV9Kg3qDBIVTjkMeAQGCVoFZaQEBAQGIQQEBAQ X-IPAS-Result: A0C/AAC326hWnBE73MNehAxtiFexPgENgWIihW0CgUg4FAEBAQEBAQEBEAEBAQEBCAsJCSEugi2CFAEBAQMBI1UGCwsYCRYLAgIJAwIBAgFFBgEMCAKIDwgECq46jy8BAQgBAQEBHIpLhzqBOgWHVocHiB6FR4gPgV9Kg3qDBIVTjkMeAQGCVoFZaQEBAQGIQQEBAQ X-IronPort-AV: E=Sophos;i="5.22,354,1449529200"; d="scan'208,217";a="161895650" Received: from smtp2.cict.fr ([195.220.59.17]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Jan 2016 16:04:35 +0100 Received: from smtp2.cict.fr (localhost.localdomain [127.0.0.1]) by smtp2.cict.fr (8.14.5/8.14.4) with ESMTP id u0RF4Z7H028514 for ; Wed, 27 Jan 2016 16:04:35 +0100 Received: from [130.120.229.139] (lpqlx139.ups-tlse.fr [130.120.229.139]) by smtp2.cict.fr (8.14.5/8.14.5) with ESMTP id u0RF4YGi028505; Wed, 27 Jan 2016 16:04:34 +0100 Message-ID: <56A8DC82.1060403@irsamc.ups-tlse.fr> Date: Wed, 27 Jan 2016 16:04:34 +0100 From: Anthony Scemama Organization: Laboratoire de Chimie et Physique Quantiques User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0 MIME-Version: 1.0 To: Mehdi Dogguy , Louis Gesbert , caml-list@inria.fr References: <5693B7C5.2030105@irsamc.ups-tlse.fr> <4673524.9ZabesDjnc@maitake> <569E475D.9030901@irsamc.ups-tlse.fr> <569EA62F.1040201@dogguy.org> <569FCFB6.1020703@dogguy.org> In-Reply-To: <569FCFB6.1020703@dogguy.org> Content-Type: multipart/alternative; boundary="------------050703040604090904060205" X-Virus-Scanned: clamav-milter 0.97.3 at smtp2.cict.fr X-Virus-Status: Clean X-Validation-by: scemama@gmx.com Subject: Re: [Caml-list] Opam on Blue-Gene This is a multi-part message in MIME format. --------------050703040604090904060205 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Hi Mehdi, I was able to reproduce the problem. Here is the output : |-bash-4.1$ opam switch 4.02.3 =-=- Installing compiler 4.02.3 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [default.comp] http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.3.tar.gz downloaded Now compiling OCaml. This may take a while, please bear with us... [ERROR] Compiler build failed at "make world.opt": # opam-version 1.2.2 # os linux # command make world.opt # path /home/abenali/.opam/4.02.3/build/ocaml # exit-code 2 # env-file /home/abenali/.opam/log/log-30082-6d07ae.env # stdout-file /home/abenali/.opam/log/log-30082-6d07ae.out # stderr-file /home/abenali/.opam/log/log-30082-6d07ae.err ### stdout ### # [...] # ln -s ../byterun/debugger.c debugger.c # gcc -I../byterun -DCAML_NAME_SPACE -DNATIVE_CODE -DTARGET_none -DSYS_unknown -O -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o debugger.o debugger.c # ln -s ../byterun/meta.c meta.c # gcc -I../byterun -DCAML_NAME_SPACE -DNATIVE_CODE -DTARGET_none -DSYS_unknown -O -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o meta.o meta.c # ln -s ../byterun/dynlink.c dynlink.c # gcc -I../byterun -DCAML_NAME_SPACE -DNATIVE_CODE -DTARGET_none -DSYS_unknown -O -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o dynlink.o dynlink.c # make[4]: Leaving directory `/gpfs/vesta-home/abenali/.opam/4.02.3/build/ocaml/asmrun' # make[3]: Leaving directory `/gpfs/vesta-home/abenali/.opam/4.02.3/build/ocaml' # make[2]: Leaving directory `/gpfs/vesta-home/abenali/.opam/4.02.3/build/ocaml' # make[1]: Leaving directory `/gpfs/vesta-home/abenali/.opam/4.02.3/build/ocaml' ### stderr ### # backtrace.c:103:14: warning: implicit declaration of function 'Callback_link' [-Wimplicit-function-declaration] # [...] # ^ # backtrace.c:103:44: warning: initialization makes pointer from integer without a cast [enabled by default] # struct caml_context * next_context = Callback_link(*sp); # ^ # make[4]: *** No rule to make target `none.o', needed by `libasmrun.a'. Stop. # make[3]: *** [makeruntimeopt] Error 2 # make[2]: *** [opt-core] Error 2 # make[1]: *** [opt.opt] Error 2 # make: *** [world.opt] Error 2 -bash-4.1$ uname -a Linux vestalac1 2.6.32-431.20.5.el6.ppc64 #1 SMP Wed Jul 16 05:27:12 EDT 2014 ppc64 ppc64 ppc64 GNU/Linux | and here is a bit of the /proc/cpuinfo: |... processor : 47 cpu : POWER7 (architected), altivec supported clock : 3720.000000MHz revision : 2.1 (pvr 003f 0201) timebase : 512000000 platform : pSeries model : IBM,8205-E6B machine : CHRP IBM,8205-E6B | Using ocaml 4.03.0+dev12-2015-11-20 solved the problem, but I don’t more. Cheers, Anthony On 01/20/2016 07:19 PM, Mehdi Dogguy wrote: > On 19/01/2016 22:10, Mehdi Dogguy wrote: >> Can you please tell us about the patches applied on top of 4.02.3 to get it >> compiling? I've already compiled opam using ocaml 4.01 or 4.02 on ppc64el >> without any issues. So, I am a bit surprised. Maybe I've missed something >> though. >> > FWIW, the same question applies even one consider ppc64 (big endian), s390 > or s390x. In my experience, all four architectures didn't cause issues wrt. > ocaml projects (or ocaml itself). So, I'm genuinely interested in hearing > what could go (or went) wrong there and how observed issues were fixed. > > ocamlopt is certainly not available everywhere and sometimes, one has to > put a little patch relevant on bytecode architectures. but i didn't see more > complex or deep issues there. > ​ -- Anthony Scemama Laboratoire de Chimie et Physique Quantiques IRSAMC - CNRS - Universite de Toulouse --------------050703040604090904060205 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

Hi Mehdi,

I was able to reproduce the problem. Here is the output :

-bash-4.1$ opam switch 4.02.3

=-=- Installing compiler 4.02.3 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default.comp] http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.3.tar.gz downloaded
Now compiling OCaml. This may take a while, please bear with us...
[ERROR] Compiler build failed at "make world.opt":
        # opam-version 1.2.2
        # os           linux
        # command      make world.opt
        # path         /home/abenali/.opam/4.02.3/build/ocaml
        # exit-code    2
        # env-file     /home/abenali/.opam/log/log-30082-6d07ae.env
        # stdout-file  /home/abenali/.opam/log/log-30082-6d07ae.out
        # stderr-file  /home/abenali/.opam/log/log-30082-6d07ae.err
        ### stdout ###
        # [...]
        # ln -s ../byterun/debugger.c debugger.c
        # gcc -I../byterun -DCAML_NAME_SPACE -DNATIVE_CODE -DTARGET_none -DSYS_unknown  -O -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT   -c -o debugger.o debugger.c
        # ln -s ../byterun/meta.c meta.c
        # gcc -I../byterun -DCAML_NAME_SPACE -DNATIVE_CODE -DTARGET_none -DSYS_unknown  -O -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT   -c -o meta.o meta.c
        # ln -s ../byterun/dynlink.c dynlink.c
        # gcc -I../byterun -DCAML_NAME_SPACE -DNATIVE_CODE -DTARGET_none -DSYS_unknown  -O -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT   -c -o dynlink.o dynlink.c
        # make[4]: Leaving directory `/gpfs/vesta-home/abenali/.opam/4.02.3/build/ocaml/asmrun'
        # make[3]: Leaving directory `/gpfs/vesta-home/abenali/.opam/4.02.3/build/ocaml'
        # make[2]: Leaving directory `/gpfs/vesta-home/abenali/.opam/4.02.3/build/ocaml'
        # make[1]: Leaving directory `/gpfs/vesta-home/abenali/.opam/4.02.3/build/ocaml'
        ### stderr ###
        # backtrace.c:103:14: warning: implicit declaration of function 'Callback_link' [-Wimplicit-function-declaration]
        # [...]
        #               ^
        # backtrace.c:103:44: warning: initialization makes pointer from integer without a cast [enabled by default]
        #        struct caml_context * next_context = Callback_link(*sp);
        #                                             ^
        # make[4]: *** No rule to make target `none.o', needed by `libasmrun.a'.  Stop.
        # make[3]: *** [makeruntimeopt] Error 2
        # make[2]: *** [opt-core] Error 2
        # make[1]: *** [opt.opt] Error 2
        # make: *** [world.opt] Error 2

-bash-4.1$  uname -a
Linux vestalac1 2.6.32-431.20.5.el6.ppc64 #1 SMP Wed Jul 16 05:27:12 EDT 2014 ppc64 ppc64 ppc64 GNU/Linux

and here is a bit of the /proc/cpuinfo:

...
processor       : 47
cpu             : POWER7 (architected), altivec supported
clock           : 3720.000000MHz
revision        : 2.1 (pvr 003f 0201)

timebase        : 512000000
platform        : pSeries
model           : IBM,8205-E6B
machine         : CHRP IBM,8205-E6B

Using ocaml 4.03.0+dev12-2015-11-20 solved the problem, but I don’t more.

Cheers,
Anthony




On 01/20/2016 07:19 PM, Mehdi Dogguy wrote:

On 19/01/2016 22:10, Mehdi Dogguy wrote:

Can you please tell us about the patches applied on top of 4.02.3 to get it
compiling? I've already compiled opam using ocaml 4.01 or 4.02 on ppc64el
without any issues. So, I am a bit surprised. Maybe I've missed something
though.


FWIW, the same question applies even one consider ppc64 (big endian), s390
or s390x. In my experience, all four architectures didn't cause issues wrt.
ocaml projects (or ocaml itself). So, I'm genuinely interested in hearing
what could go (or went) wrong there and how observed issues were fixed.

ocamlopt is certainly not available everywhere and sometimes, one has to
put a little patch relevant on bytecode architectures. but i didn't see more
complex or deep issues there.

​
-- 
Anthony Scemama
Laboratoire de Chimie et Physique Quantiques
IRSAMC - CNRS - Universite de Toulouse
--------------050703040604090904060205--