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 AAEFE7EE51 for ; Tue, 2 Apr 2013 03:24:21 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of berenger@riken.jp) identity=pra; client-ip=134.160.33.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of berenger@riken.jp designates 134.160.33.175 as permitted sender) identity=mailfrom; client-ip=134.160.33.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@postman.riken.jp designates 134.160.33.175 as permitted sender) identity=helo; client-ip=134.160.33.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="postmaster@postman.riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYBAGYyWlGGoCGvh2dsb2JhbABDgzsBv0GBFA4BAQEIDQkHFiiCHwEBBThAARALGAkWDwkDAgECAUUTAQUCAQGIEAyxFI93jXqBNwcWgyoDiHiNc4EfhGKFcogygVw X-IPAS-Result: ArYBAGYyWlGGoCGvh2dsb2JhbABDgzsBv0GBFA4BAQEIDQkHFiiCHwEBBThAARALGAkWDwkDAgECAUUTAQUCAQGIEAyxFI93jXqBNwcWgyoDiHiNc4EfhGKFcogygVw X-IronPort-AV: E=Sophos;i="4.87,390,1363129200"; d="scan'208";a="9420433" Received: from postman3.riken.jp (HELO postman.riken.jp) ([134.160.33.175]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Apr 2013 03:24:19 +0200 Received: from postman.riken.jp (postman3.riken.jp [127.0.0.1]) by postman.riken.jp (Postfix) with SMTP id 97D2238380F4; Tue, 2 Apr 2013 10:24:16 +0900 (JST) Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98]) by postman.riken.jp (Postfix) with ESMTPA id 52B3538200E3; Tue, 2 Apr 2013 10:24:16 +0900 (JST) Message-ID: <515A3340.3050500@riken.jp> Date: Tue, 02 Apr 2013 10:24:16 +0900 From: Francois Berenger User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130308 Thunderbird/17.0.4 MIME-Version: 1.0 To: caml-list@inria.fr CC: kaizen@wh.commufa.jp References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version: 5.6.0.2009776, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2013.4.2.11517 Subject: Re: [Caml-list] Install report on Mac OS X 10.7.5 You can install OCaml via homebrew, on OS X: http://mxcl.github.com/homebrew/ Then install OPAM, then "rock and roll". ;) On 04/02/2013 10:11 AM, kaizen@wh.commufa.jp wrote: > I installed OCaml on Mac OS X 10.7.5, reading README and INSTALL. > > in the README document, > https://sympa-roc.inria.fr/wws/info/caml-list > can not connected directly. > > In the INSTALL document, > "* Under MacOS X up to version 10.2.8, you must raise the limit on the > stack size with one of the following commands: > > limit stacksize 64M # if your shell is zsh or tcsh > ulimit -s 65536 # if your shell is bash " > > But > ulimt -s 65536 yield > "ulimit: stack size: cannot modify limit: Invalid argument" > > I change the value 65536 to 65532 > ulimit -s 65532 > and 65532 is recognized the maximum number on Macintosh 10.7.5 (Macbook pro > and iMAC). > > Are there any differences on the Macintosh OS version or Machine type? > > Best Regards. > Ogawa Kiyoshi > > Activity record are > http://researchmap.jp/jolsk0um1-1861956/#_1861956