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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 386907EE49 for ; Sat, 14 Sep 2013 18:36:42 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of feucht@uni-koblenz.de) identity=pra; client-ip=141.26.64.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="feucht@uni-koblenz.de"; x-sender="feucht@uni-koblenz.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of feucht@uni-koblenz.de) identity=mailfrom; client-ip=141.26.64.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="feucht@uni-koblenz.de"; x-sender="feucht@uni-koblenz.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@deliver.uni-koblenz.de) identity=helo; client-ip=141.26.64.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="feucht@uni-koblenz.de"; x-sender="postmaster@deliver.uni-koblenz.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnsBAM2PNFKNGkAPnGdsb2JhbABbgz+8FYU4gR0WDgEBAQEBBhYJPIIlAQEEAXkFCwsSBgklDy0NDhmHfQq5dxaPXQeEHgOPLniHVJUb X-IPAS-Result: AnsBAM2PNFKNGkAPnGdsb2JhbABbgz+8FYU4gR0WDgEBAQEBBhYJPIIlAQEEAXkFCwsSBgklDy0NDhmHfQq5dxaPXQeEHgOPLniHVJUb X-IronPort-AV: E=Sophos;i="4.90,904,1371074400"; d="asc'?txt'?scan'208";a="32878741" Received: from deliver.uni-koblenz.de ([141.26.64.15]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Sep 2013 18:36:41 +0200 Received: from localhost (localhost [127.0.0.1]) by deliver.uni-koblenz.de (Postfix) with ESMTP id 109C81A8563; Sat, 14 Sep 2013 18:36:42 +0200 (CEST) X-Virus-Scanned: amavisd-new at uni-koblenz.de Received: from deliver.uni-koblenz.de ([127.0.0.1]) by localhost (deliver.uni-koblenz.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 80YzqAXYyns4; Sat, 14 Sep 2013 18:36:41 +0200 (CEST) Received: from asus (dhcp250.uni-koblenz.de [141.26.71.250]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by deliver.uni-koblenz.de (Postfix) with ESMTPSA id 7E3F41A8562; Sat, 14 Sep 2013 18:36:41 +0200 (CEST) Date: Sat, 14 Sep 2013 18:35:34 +0200 From: Philip To: caml-list@inria.fr Cc: Adrien Nader Message-ID: <20130914183534.3d1911af@asus> In-Reply-To: <20130914162653.GA2524@notk.org> References: <20130914175955.0d67fb25@asus> <20130914162653.GA2524@notk.org> X-Mailer: Claws Mail 3.8.1 (GTK+ 2.24.10; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; micalg=PGP-SHA1; boundary="Sig_/Frcn5ehm+bzNzzvjS9ZKQ79"; protocol="application/pgp-signature" Subject: Re: [Caml-list] Compile 4.01 on debian --Sig_/Frcn5ehm+bzNzzvjS9ZKQ79 Content-Type: multipart/mixed; boundary="MP_/9ocGjshOBEWOTXPraXawSJC" --MP_/9ocGjshOBEWOTXPraXawSJC Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Content-Disposition: inline On Sat, 14 Sep 2013 18:26:53 +0200 Adrien Nader wrote: > Hi, >=20 > On Sat, Sep 14, 2013, Philip wrote: > > Hi list, > > just pulled ocaml from git and made: >=20 > Did you pull from the trunk branch? If so you didn't get 4.01 but the > development version which is in a much more incertain state. >=20 > That said, I'm running on trunk plus a few patches and I didn't get an > error. Can you attach the output of ./configure? >=20 > Thanks, > Adrien Nader >=20 Yes, of course: did 'git checkout 4.01.0' and configure Thanks, P --MP_/9ocGjshOBEWOTXPraXawSJC Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename=messages.txt Configuring for a x86_64-unknown-linux-gnu ... gcc found The C compiler is ANSI-compliant. Checking the sizes of integers and pointers... Wow! A 64 bit architecture! This is a little-endian architecture. Doubles can be word-aligned. 64-bit integers can be word-aligned. Native division and modulus have round-towards-zero semantics, will use them. ranlib found #! appears to work in shell scripts POSIX signal handling found. expm1(), log1p(), hypot(), copysign() found. getrusage() found. times() found. termcap functions found (with libraries '-lcurses') You have BSD sockets. socklen_t is defined in inet_aton() found. IPv6 is supported. unistd.h found. off_t is defined in dirent.h found. rewinddir() found. lockf() found. mkfifo() found. getcwd() found. getwd() found. getpriority() found. utime() found. utimes() found. dup2() found. fchmod() found. truncate() found. sys/select.h found. select() found. symlink() found. waitpid() found. wait4() found. getgroups() found. setgroups() found. initgroups() found. POSIX termios found. Asynchronous I/O are supported. setitimer() found. gethostname() found. uname() found. gettimeofday() found. mktime() found. setsid() found. putenv() found. setlocale() and found. dlopen() found in -ldl. Dynamic loading of shared libraries is supported. mmap() found. pwrite() found gethostbyname_r() found (with 6 arguments). gethostbyaddr_r() found (with 8 arguments). Replay debugger supported. System stack overflow can be detected. POSIX threads library supported. Options for linking with POSIX threads: -lpthread sigwait() found Bytecode threads library supported. X11 works Options for compiling for X11:=20 Options for linking with X11: -L/usr/lib/x86_64-linux-gnu -lX11 Configuring LablTk... tcl.h and/or tk.h not found. Configuration failed, LablTk will not be built. BFD library not found, 'objinfo' will be unable to display info on .cmxs fi= les Assembler supports CFI ** Configuration summary ** Directories where OCaml will be installed: binaries.................. /usr/local/bin standard library.......... /usr/local/lib/ocaml manual pages.............. /usr/local/man (with extension .1) Configuration for the bytecode compiler: C compiler used........... gcc options for compiling..... -fno-defer-pop -Wall -D_FILE_OFFSET_BITS= =3D64 -D_REENTRANT options for linking....... -Wl,-E -lm -ldl -lcurses -lpthread shared libraries are supported options for compiling..... -fPIC -fno-defer-pop -Wall -D_FILE_OFFSE= T_BITS=3D64 -D_REENTRANT command for building...... gcc -shared -o lib.so -Wl,-rpath,/a/path= objs Configuration for the native-code compiler: hardware architecture..... amd64 OS variant................ linux C compiler used........... gcc options for compiling..... -Wall -D_FILE_OFFSET_BITS=3D64 -D_REENTR= ANT options for linking....... -lm assembler ................ as preprocessed assembler ... gcc -c assembler supports CFI ... yes with frame pointers....... no native dynlink ........... true profiling with gprof ..... supported Source-level replay debugger: supported Additional libraries supported: unix str num dynlink bigarray systhreads threads graph Configuration for the "num" library: target architecture ...... amd64 (asm level 1) Configuration for the "graph" library: options for compiling ....=20 options for linking ...... -L/usr/lib/x86_64-linux-gnu -lX11 The "labltk" library: not supported ** OCaml configuration completed successfully ** --MP_/9ocGjshOBEWOTXPraXawSJC-- --Sig_/Frcn5ehm+bzNzzvjS9ZKQ79 Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJSNJBWAAoJEO5w0jzcjicdDq0H/3bTFCB80TfxdCDeOy9cWDYa umUMPb7qtQnxB6TMOEoj5GOeKr4OYli++EzfeCAxPQyEZvy1hTZWKDuomeTcBSx0 ASiB52iD555l5zkWQomCUG5JuqRuL+EvTTZW7r8NW18w+sGoNg66iL9tWRRUtVeJ VkRh4nY8oMANikdtaCjA86e8oQKK723v5QoXxEux6XvokblhE8nhiaO4+vkwkNgr QvhTXWLzSirBVb6P4ldq23RzgYRp72RGniJpGfoROI2xdLMl5sxSOzv//itYSJ/x 35SMvrbAklNQUQGvvdPJUjnIR6setQfsUlQIgxBLQbeavDn71hYR2BjcN4MUS3s= =XLwT -----END PGP SIGNATURE----- --Sig_/Frcn5ehm+bzNzzvjS9ZKQ79--