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 267AD7F734 for ; Wed, 23 Sep 2015 00:38:00 +0200 (CEST) IronPort-PHdr: 9a23:Xb2oJRQmYxKWBzEqBxx2OeJwYNpsv+yvbD5Q0YIujvd0So/mwa64bBSN2/xhgRfzUJnB7Loc0qyN4/ymBTVLuM/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvip9uPOk4R3XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1AcSGQNjhtBBUDh7Rf2X5i55i/7sOZ81wGVOMT3SfY/XjH0vIlxTxq9pyodO3YC7GbTksl5iqQT9BOnqRtXzIPObMSOKP16ZqbUe9VcSWcXDZUZbDBIHo7pN9hHNOEGJ+sN6tCl/1Y= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AoAQAm1wFWlLt+49Rdg3hpgmSxTxiJDgENgXAKhXkCgUs4FAEBAQEBAQEBEAEBAQEHCwsJHzCCHYIIAQEEDBcyJAULCQJCAgJXBhMJiCkJmVidK5QbAQEBAQEFAgEfhXiFeIRnJgeCLjsSgTEFhzSOM30ChBKKDIZqBJIhHwEBhEVvAYlsAQEB X-IPAS-Result: A0AoAQAm1wFWlLt+49Rdg3hpgmSxTxiJDgENgXAKhXkCgUs4FAEBAQEBAQEBEAEBAQEHCwsJHzCCHYIIAQEEDBcyJAULCQJCAgJXBhMJiCkJmVidK5QbAQEBAQEFAgEfhXiFeIRnJgeCLjsSgTEFhzSOM30ChBKKDIZqBJIhHwEBhEVvAYlsAQEB X-IronPort-AV: E=Sophos;i="5.17,574,1437429600"; d="asc'?scan'208";a="148261000" Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Sep 2015 00:37:59 +0200 Received: from office1.lan.sumadev.de ([88.69.138.237]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0Ld9er-1aM8gh1k3t-00iSGl; Wed, 23 Sep 2015 00:37:58 +0200 Received: from [192.168.65.22] (office6.fritz.box [192.168.65.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 9044DDC05D; Wed, 23 Sep 2015 00:37:57 +0200 (CEST) Message-ID: <1442961469.21446.6.camel@zotac> From: Gerd Stolpmann To: Christian Lindig Cc: caml-list@inria.fr Date: Wed, 23 Sep 2015 00:37:49 +0200 In-Reply-To: References: Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-0tRo3CMa0rgTStMsfjAw" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:NYXiiX/hSkNrgqiiYZ2I8AnDG/i4TV1ArWSltOtr0r2r9/FoFVc XWz48fLLNKdP+XNrgI5DojyXKVwtsY3fLLRn4q0Imv9hMduAwWclBYUP+xoGbAFHoYKvMMd chZdPlfArIjmMwZoR/giCfka+l3lOOC9HWw8fMCy6ZhnMdz62LaUSjXZCbAXmNo+WWHlqqj NqyJy98qVY5ds4c5snR+Q== X-UI-Out-Filterresults: notjunk:1;V01:K0:/22W44a76yo=:SzJUCEkDBp+3BADemQRrYR 9XG0d4R5KbRvTfftREYBM81bQIQ+kqL0DlDd4JlmzcgUO0e9uRNvAR70BJ+Z0353LLoMawEV7 zWt4zBxFwuSzlqxrsCp0Q/SHQnqAEdJW2xu0rEiPvAJwsnj/8hgD6BzDU4eIFCdzmwJAcBebb viNBWdLtA4bKP4LNz66/uioh/8RSCGI7eCYS73PwdkpMWrpx9uy8h1adFIs6DE8tIm2uHjW5x Vr+1kpn12glPv16MrO/M7ik6ElT3UZLrlqvQc0RYk5BR4BYPbx+Thon7GrC8hWB59+ZUF897S oPDsV3qUHBTvOj8l+W75XlgzDWtdOgEzc9vbLl/WEM2PkMkO09bVBwk9CGsHx3dmn/VqzS0kz knXx8vZwHBr1rIxbPvi9uRYjUBCh21qAdT2d1RdKlctV66u87zSNzKSIvqeNw/U2OaL6D3O5p oNj/ndMAOu4j6zIZo7N6ox0AmE12UzTsIIqst1v/dK2Iu1JYnLzKeKkdUEx94p7VZx+RbWE8Y 3g1dhPly14VkOAQT2xORPj4diNUdXWbKhpqyFqr2/qd7s+JHo5BszVKjHvxur9hfcaUaMgpmY ZERDrszLpQYY5csXUv11GtYV7Z3THaDdlctJXe6H0VGZ3Q+cnNRLrdT4B+kP+7KM60zoeJ3wJ HYf7wHNHpkc+UWr4nLYPAkWbZp5yg11/yG0NL3wdpVtAQR6xfxDrpEBiZ7J9qRBMrHUE= Subject: Re: [Caml-list] Linking the num library with and without ocamlfind --=-0tRo3CMa0rgTStMsfjAw Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Am Dienstag, den 22.09.2015, 18:23 +0200 schrieb Christian Lindig: > The =E2=80=9Cnum" arbitrary precision library is part of the OCaml distri= bution and is linked as nums.cm(x)a. - note the trailing =E2=80=9Cs=E2=80= =9D. I noticed that the corresponding package for ocamlfind is called =E2= =80=9Cnum=E2=80=9D - without the trailing =E2=80=9Cs=E2=80=9D, and that the= documentation also refers to the library as =E2=80=9Cnum=E2=80=9D but not = =E2=80=9Cnums=E2=80=9D. Is there a reason for this? I tripped over it when = switching to/from ocamlfind. In the source tree it is in otherlibs/num. The README file there calls it libnum. It was me who called it num in findlib, but I do not remember exactly why (years ago). Maybe I just picked one of the several names without thinking too much about it. Gerd > http://caml.inria.fr/pub/docs/manual-ocaml/libnum.html >=20 > =E2=80=94 Christian=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-0tRo3CMa0rgTStMsfjAw Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWAdg9AAoJEAaM4b9ZLB5TjukH/0wIGLGsQIadt62VQe9FjC6A kOEZUgGAbD65WUWOaGmZgoh+UWB2TcGcsJZaqrnKwoAiL/TZsWng1bOnNZQybsFe yGVzaB8a0cHGxc2oFZi5q/vJmuOZ18lMTUR8DDb+lMwYTJwh6i97/AEcwAhNB5Cv znGHuGtWk+3j7GCyqrjQzrU7Y+FvH1wEJ1M4HNNqbaJ7LmSdtgzGYtPcZsuZ9rAu nqmhMzilbU8+10UjOChNfDxr3H6J/XRGKjFKZ+sBJTGVyo+RyboAKvV8Fsa1jK2+ OUma1blMyl44aDGcUpBN8fb5cRNxSOnkj5XtBpmI4K5Ajd3m//bK5+rXLUk4r1w= =dXch -----END PGP SIGNATURE----- --=-0tRo3CMa0rgTStMsfjAw--