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 60C017F736 for ; Thu, 17 Sep 2015 12:57:18 +0200 (CEST) IronPort-PHdr: 9a23:GJTUixBztcmy+Vso6t1EUyQJP3N1i/DPJgcQr6AfoPdwSP74rsbcNUDSrc9gkEXOFd2CrakU16yN6uu7ACQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTrkbvrsMaKKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxdqE8CLhZFygOMmYv5cStuwOQYxGI4y45W2oQjwEAPwjI9hf7WJi55i7zuexgwwGGPcDsS7EyVnKl9ag9G0ygszsOKzNsqDKfscd3lq8O+B8= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=magnus@therning.org; spf=None smtp.mailfrom=magnus@therning.org; spf=None smtp.helo=postmaster@mail-wi0-f171.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of magnus@therning.org) identity=pra; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="magnus@therning.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of magnus@therning.org) identity=mailfrom; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="magnus@therning.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f171.google.com) identity=helo; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="magnus@therning.org"; x-sender="postmaster@mail-wi0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CYAQCpm/pVlKvUVdFdg3djBr1QgXWFeAOBRTkTAQEBAQEBAQEQAQEBAQcLCwkfMIIdgh8oezQFIAEFATUiiAwEAQOmOYIFgTA+MaAYLAqKYIUwEQFvgwGBFAWHMYVLgS+HNoURh3AEUYFChl6KXhSFaTWBFyMBhEJviGuBPwEBAQ X-IPAS-Result: A0CYAQCpm/pVlKvUVdFdg3djBr1QgXWFeAOBRTkTAQEBAQEBAQEQAQEBAQcLCwkfMIIdgh8oezQFIAEFATUiiAwEAQOmOYIFgTA+MaAYLAqKYIUwEQFvgwGBFAWHMYVLgS+HNoURh3AEUYFChl6KXhSFaTWBFyMBhEJviGuBPwEBAQ X-IronPort-AV: E=Sophos;i="5.17,546,1437429600"; d="scan'208";a="147600102" Received: from mail-wi0-f171.google.com ([209.85.212.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Sep 2015 12:57:17 +0200 Received: by wicfx3 with SMTP id fx3so18343690wic.1 for ; Thu, 17 Sep 2015 03:57:16 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-type:content-disposition:user-agent; bh=3qfTHDh7ZKOWUEQECBDC2DCpJzKUO/kWJZQid939/HM=; b=eHtwGA4xdmfXCd9CTtKFcqIz0yH6ISG6RStHTa9ziDqGFpGi0NgooM0VCr6GoLfEVQ lRwUTwFCbhP3akDMIj+UlzByDmkTOfTW8Oaz4Q74ZlXhGyDwzuYXd1fm2OcZUhmB/dD1 FJOzW3GOU0sHQdiKvUDXRiIU8LnBTMvVA9bMFPpESvWCtZFXdUTQgJD5NQ4PlhVN3rcr LyqWZVm337vrbt/xFf317mVCtklBfGIqSMpQkyA68CUfFKnOaFHqtD14ypJJFfCGNlp/ RVH/MabE9y77RbPHvSMCFmQUUKmdY7yookAhR6UYQSRa6MJGW2B8ujZKjAEFvLscE6PB dMwg== X-Gm-Message-State: ALoCoQk6koh5Dvwm4gctjrGhWTDxGwOw4Nk4yDWOWaScjSyUholD+MCqfNkKxXECbItJhfkS7OUM X-Received: by 10.194.103.130 with SMTP id fw2mr66249915wjb.121.1442487436674; Thu, 17 Sep 2015 03:57:16 -0700 (PDT) Received: from sobel.cipherstone.com (pc-132.aktiviteten.se. [194.218.229.132]) by smtp.gmail.com with ESMTPSA id x7sm9451794wia.5.2015.09.17.03.57.15 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 17 Sep 2015 03:57:15 -0700 (PDT) Date: Thu, 17 Sep 2015 12:57:13 +0200 From: Magnus Therning To: caml-list@inria.fr Message-ID: <20150917105713.GD2033@sobel.cipherstone.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.24 (2015-08-30) Subject: [Caml-list] oasis: building in separate folder I was trying to get oasis to build in a completely different folder from the source but ran into a problem. Here's what I have: ~~~ _oasis OASISFormat : 0.4 Name : OasisTest Version : 0.0 Synopsis : TBD Authors : Magnus Therning Copyrights : (C) 2015 TBD License : PROP Executable test Path : src/ MainIs : main.ml CompiledObject : best BuildTools : ocamlbuild BuildDepends : oasis ~~~ ~~~ src/main.ml (* Minimal example to try out oasis out-of-source build *) let () = print_string "Hello, World!\n" ~~~ I can build the executable using these steps: % oasis setup % ocaml setup.ml -configure % ocaml setup.ml -build However this generates quite a bit of stuff in the folder. Stuff that I don't really want there at all, so I attempted building in a separate folder: % mkdir my_build_folder; cd my_build_folder % oasis setup -oasis ../_oasis % ocaml setup.ml -configure % ocaml setup.ml -build I then get this when building: ~~~ Finished, 1 target (0 cached) in 00:00:00. Solver failed: Ocamlbuild knows of no rules that apply to a target named src/main.mly. This can happen if you ask Ocamlbuild to build a target with the wrong extension (e.g. .opt instead of .native) or if the source files live in directories that have not been specified as include directories. Compilation unsuccessful after building 0 targets (0 cached) in 00:00:00. E: Failure("Command ''/usr/bin/ocamlbuild' src/main.native -tag debug' terminated with error code 6") ~~~ Is there some way to make this work? Should it work? (That is, is it a bug that it doesn't?) /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: magnus@therning.org jabber: magnus@therning.org twitter: magthe http://therning.org/magnus The British have "the perfect temperament to be hackers--technically skilled, slightly disrespectful of authority, and just a touch of criminal behavior". -- Mary Ann Davidson, Oracle's Security Chief