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=3.0 required=5.0 tests=AWL,DNS_FROM_RFC_POST, RCVD_IN_SORBS_WEB,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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id B2CB2BBC4 for ; Tue, 17 Mar 2009 23:58:33 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AroBAE/Iv0nRVdyukGdsb2JhbACVFz8BAQEBCQkMBxEDrCyBBpAeAQMBA4N5BoM6 X-IronPort-AV: E=Sophos;i="4.38,381,1233529200"; d="scan'208";a="24474272" Received: from mail-fx0-f174.google.com ([209.85.220.174]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 Mar 2009 23:58:33 +0100 Received: by fxm22 with SMTP id 22so256714fxm.9 for ; Tue, 17 Mar 2009 15:58:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=9zYfcT71+RaD41gXkcRbw/bbm3OgU9r0MrCz9s43RMM=; b=lymrO0u7ocafutfH3XTu8PZatylGI+KaNfZVYkj/0uWqs5Nk/sPP9jnFsLXtdLjYQu ebbZNJo3ruXUbl0zIkFe+xkft+GHElf5u91kZrFeGzl4Gf1vEU5Ro3D4Z09tw7egQZoU nsQoVwLNp0vkFd6QrgkJIi23cZCu7idn0MpR0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=ssDOjgS/atM9EQX+pXaN/ASXDv03A1SOYME+KkaT/VhEZYFnIRi1I75SRBA3nm9BS/ uXSmU2hqQbrzjwYMDoXKFlM2dPPhewOC04mdXhnIo+EHswF4JRA1l8sJxW91emmFjhWk bsiG8X4RiQCfBLrtMP87rL4/V5dNbAH6c7Q5I= Received: by 10.103.49.12 with SMTP id b12mr249837muk.81.1237330712968; Tue, 17 Mar 2009 15:58:32 -0700 (PDT) Received: from ?192.168.1.101? ([64.30.3.122]) by mx.google.com with ESMTPS id s10sm3131449muh.22.2009.03.17.15.58.31 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 17 Mar 2009 15:58:32 -0700 (PDT) Cc: caml-list@inria.fr Message-Id: <7DABE6D8-0D86-4756-B6EB-E6E10DDD2798@gmail.com> From: Alexy Khrabrov To: Sylvain Le Gall In-Reply-To: Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Re: [Caml-list] Re: ocamlfind ocamlopt.opt? Date: Tue, 17 Mar 2009 18:53:27 -0400 References: X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; ocamlfind:01 ocamlopt:01 ocamlfind:01 findlib:01 destdir:01 ocaml:01 lib:01 ocaml:01 site-lib:01 lib:01 site-lib:01 ocamlc:01 ocamlc:01 ocamlopt:01 ocamldep:01 On Mar 17, 2009, at 6:13 PM, Sylvain Le Gall wrote: > I think you can also directly fix it through /etc/ocamlfind.conf or > any > other configuration file installed by ocamlfind. Duh -- my GODI has etc/findlib.conf doing it, and it shows destdir="/opt/ocaml/lib/ocaml/site-lib" path="/opt/ocaml/lib/ocaml/pkg-lib:/opt/ocaml/lib/ocaml/site-lib" ocamlc="ocamlc.opt" ocamlopt="ocamlopt.opt" ocamldep="ocamldep.opt" BTW -- I've asked this on the Godi list and got nothing. RTFM-style subscriber base or nobody using Godi anymore? I've noticed on the IRC several top folks not using Godi; and many others happy with Debian packages. It would be interesting to see who actually doesn't use Godi and why. One thing I noticed is, several packages in Godi are seriously behind the tarballs. Then again much more folks are using findlib than Godi itself. Another alternative on Mac is MacPorts, and there's quite a few of OCaml ports. Are the maintaners here by any chance, can anybody say what the structure/coordination is? I don't see why MacPorts can't be as good or better than Debian, and I'd be glad to join the gang. Cheers, Alexy