From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 02F587ED11 for ; Thu, 22 Sep 2016 23:37:12 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yann.hamdaoui@gmail.com; spf=Pass smtp.mailfrom=yann.hamdaoui@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f65.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yann.hamdaoui@gmail.com) identity=pra; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yann.hamdaoui@gmail.com designates 74.125.82.65 as permitted sender) identity=mailfrom; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f65.google.com) identity=helo; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="postmaster@mail-wm0-f65.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AqYADGRd/0IZ0Yx9z4K5XlRBilGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc6/ZR7h7PlgxGXEQZ/co6odzbGH6ea4BSdZvMbJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4?= =?us-ascii?q?Ov7yUtaLyZ/mjabqp9aKPlUArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf?= =?us-ascii?q?9d32JiKAHbtR/94sCt4MwrqHwI6LoX3pUfCuCiI+x4EOQZX3waNDU+7cjv8B3C?= =?us-ascii?q?Vhen530GU2xQnAAbLRLC6UTLV5H3+gvzs+Z03zSbdZnnRLYyHzSr6qtiTwLpoC?= =?us-ascii?q?gCPj89tmrQj5oj3+pgvBu9qkknkMbva4aPOa8jJq4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CtAADETeRXf0FSfUpeHAEFAQsBFgEBA?= =?us-ascii?q?RUBAQEGAQMBAQGCfgEBAQEBdSpSjTOfaotbggQgh2o4FAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BCQsLCRcxgjIEAwMHDoIpER0BGx4DEhAPAhEVAiURAQUBLwgCHogOAQMXBAqfa?= =?us-ascii?q?IIHgTI+Mos9gWuCXwWDeAoZJw1Tgm8BCwEcAgYQdoUxgXyHWw2COIJaBZl1gTo?= =?us-ascii?q?rhEKJP4I8hxwOhgaPIjGBER6FPXCFFQyBbgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CtAADETeRXf0FSfUpeHAEFAQsBFgEBARUBAQEGAQMBAQG?= =?us-ascii?q?CfgEBAQEBdSpSjTOfaotbggQgh2o4FAEBAQEBAQEBAQEBEgEBCQsLCRcxgjIEA?= =?us-ascii?q?wMHDoIpER0BGx4DEhAPAhEVAiURAQUBLwgCHogOAQMXBAqfaIIHgTI+Mos9gWu?= =?us-ascii?q?CXwWDeAoZJw1Tgm8BCwEcAgYQdoUxgXyHWw2COIJaBZl1gTorhEKJP4I8hxwOh?= =?us-ascii?q?gaPIjGBER6FPXCFFQyBbgEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,379,1470693600"; d="scan'208";a="194357233" Received: from mail-wm0-f65.google.com ([74.125.82.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Sep 2016 23:37:11 +0200 Received: by mail-wm0-f65.google.com with SMTP id b184so16204463wma.3 for ; Thu, 22 Sep 2016 14:37:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=SFMZSuhiRhKPHQ5R66vmpjxhhcWqMOwbK+WcTA+YlHQ=; b=HhqlCrZ/y8yDxH1tyfBI6xlPvrIgMugv3UrNe7urEfHbZg7aumClsJZFcxgSC8KWcu 5uzbOqq/3/TKjoQSKU/fGyKpYXYO9iiL/vVHf7P9wtC5nZamXcnFMEMwKx1C2MKAic6R +raZete17DEcftouvJlOgq+z7WH0zivjlm0j10No4JsBKZ3fq6f8izNTiIqAJFr3keqZ laW7OxY/f6ovkLQig/rbWTVUol4WkkQIfQIAHjL2rQPFDjmp2HzXutpk5yLQiSwQ5/hN CSH8MQ0bfEQHwBEXI8CFLLrO0HRik4oCtPZqV+g5o93BFyVBDKSq1W4bbd9wbLXSS6kQ 98Cg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=SFMZSuhiRhKPHQ5R66vmpjxhhcWqMOwbK+WcTA+YlHQ=; b=MmOewjQElGLsTCtjWXQljaTDdgs/qZ9ZQGYt8gazeLBaDbcJGvGg9ORfV/rDHtz2tt gJJ/wctO7NegqK+JXYXU67QpzVajY044AlIiq2kH9yY7Tw0AsF5H0Wa8T2rueNOrBq/f RA87uWENxnAdNfM8gTwqF9ZxLeSpVuzTPJ08TEynuVLuJsY9sLZk2RMYU/G8Mdglb/IT 4T47hOo37tMW3LoEjKJrnyY6+Oz769KpAESepZE+hcc6ULwHIuZpQlimzOZWP8akibAk aGuAwm4/AuwgSfPyQiiA7gUjcAhC/1VRvwEI9YtgrqSkk0Aq1Rv/oGSiWk/4Sv+N4zO8 VP1Q== X-Gm-Message-State: AE9vXwOYB1O5DUYmBl+5lPXrPCodkoonSzR7wDIso9PHfJuOWFgbf3d6zg0XiFcd8fFiQg== X-Received: by 10.194.144.50 with SMTP id sj18mr4358682wjb.197.1474580230511; Thu, 22 Sep 2016 14:37:10 -0700 (PDT) Received: from [192.168.1.31] (ivr94-h06-89-95-212-250.dsl.sta.abo.bbox.fr. [89.95.212.250]) by smtp.gmail.com with ESMTPSA id t65sm4379238wmt.15.2016.09.22.14.37.09 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 22 Sep 2016 14:37:09 -0700 (PDT) To: caml-list@inria.fr From: Yann Hamdaoui Message-ID: Date: Thu, 22 Sep 2016 23:37:09 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Oasis strange behavior Dear list, I have a small toy library that I used to build using oasis, and everything worked fine. But after I tried to add a test section for unit testing and modify the _oasis file accordingly (I hadn't touched it for a few months), I face a rather strange behavior : setup.ml doesn't complain but doesn't build anything. After some investigation, it seems that oasis only take into account the last section of my file _oasis. If I do : [...] OASISFormat: 0.4 BuildTools: ocamlbuild Plugins: META (0.4), DevFiles (0.4) Library "mechaml" Path: src Modules: Agent, Page, Cookiejar InternalModules: Infix BuildDepends: lambdasoup, lwt, cohttp, cohttp.lwt, uri Executable "unit_tests" Build$: flag(tests) Path: test MainIs: test.ml BuildDepends: oUnit, mechaml Test "unit" Command: $unit_test WorkingDirectory: test SourceRepository "master" Type: git Location: https://github.com/yannham/mechaml.git/ Branch: master Browser: https://github.com/yannham/mechaml Then nothing get built (after configure and build executed succesfully) and I have : %oasis query ListSections SrcRepo(master) % Like I only have one section of the source repository. If I comment out the last three sections (so that only Library remains), then the library is built as before. If I comment the two last sections, query only gives "Executable(unit_tests)" and if I try configure, the script complains that the package "mechaml" doesn't exist, so the section Library is indeed thrown. I have the same behavior with an _oasis file generated automatically by oasis quickstart. Does anybody have the same issue ? Am i doing something wrong ? I run oasis version 0.4.7 with compiler switch 4.03.0+flambda