From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 431827EEEF for ; Mon, 22 Jun 2015 16:24:47 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.13,659,1427752800"; d="scan'208";a="166661917" Received: from meleze.ens.fr (HELO [129.199.99.114]) ([129.199.99.114]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 22 Jun 2015 16:24:47 +0200 Message-ID: <55881AAF.3080300@inria.fr> Date: Mon, 22 Jun 2015 16:24:47 +0200 From: Francois Berenger User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <55881A0F.2030703@mcmaster.ca> In-Reply-To: <55881A0F.2030703@mcmaster.ca> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Where does opam put source code it downloads? On 06/22/2015 04:22 PM, Jacques Carette wrote: > When I "opam install" something which needs to be compiled from source, > where do those sources go? [And answer for linux will be sufficient]. try this: opam install -v -b some_package For me the sources are then in: ~/.opam/4.01.0/build/some_package.some_version > I have grepped in .opam, but did not find anything, even though I know > the file exists in what was downloaded. > > Jacques > -- Regards, Francois. "When in doubt, use more types"