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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 78FB1800B6 for ; Sat, 24 Dec 2016 06:22:20 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=martindemello@gmail.com; spf=Pass smtp.mailfrom=martindemello@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f177.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.220.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of martindemello@gmail.com designates 209.85.220.177 as permitted sender) identity=mailfrom; client-ip=209.85.220.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f177.google.com) identity=helo; client-ip=209.85.220.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-qk0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AyMrT0BD+cmh6eR/QlK56UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP77psbcNUDSrc9gkEXOFd2CrakV0KyG7Ou6AzNIoc7Y9itdINoUD15NoP?= =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScaBx/iwgqq58pjXJgFJnyaVYLVoLRzwox+b/p0diI5mb6Iw0Qfho31Seu?= =?us-ascii?q?0Qy3k+dnyJmBOpw86q4J9luwhdnv8l88kIBaDzZbg5S7BVCTkiN2cd68jitB2F?= =?us-ascii?q?RgyKsChPGl4KmwZFVlCWpCrxWY3853P3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BFAgBeBV5YhrHcVdFeHQYMgzgBAQEBA?= =?us-ascii?q?UA+gQwHpnuGC443IodoB0IRAQEBAQEBAQEBAQESAQEBCAsLCR0lC4IzGIJHHQE?= =?us-ascii?q?bHgMSAwYBBjcCJAERAQUBIhuITAEDGI5OjUyDPz+MAoIDBQEegwwFg1sKGScNV?= =?us-ascii?q?IMPAgYShjaMMIJdBZACinqBS4UIimmCRo4PkHcUHoEUNYIMg2eCCh00iQgBAQE?= X-IPAS-Result: =?us-ascii?q?A0BFAgBeBV5YhrHcVdFeHQYMgzgBAQEBAUA+gQwHpnuGC44?= =?us-ascii?q?3IodoB0IRAQEBAQEBAQEBAQESAQEBCAsLCR0lC4IzGIJHHQEbHgMSAwYBBjcCJ?= =?us-ascii?q?AERAQUBIhuITAEDGI5OjUyDPz+MAoIDBQEegwwFg1sKGScNVIMPAgYShjaMMIJ?= =?us-ascii?q?dBZACinqBS4UIimmCRo4PkHcUHoEUNYIMg2eCCh00iQgBAQE?= X-IronPort-AV: E=Sophos;i="5.33,397,1477954800"; d="scan'208,217";a="251475074" Received: from mail-qk0-f177.google.com ([209.85.220.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Dec 2016 06:21:54 +0100 Received: by mail-qk0-f177.google.com with SMTP id h201so20126009qke.1 for ; Fri, 23 Dec 2016 21:21:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=bIADSDuK1BUkxJ0Ry1nrEP+m2YT+twF2iPkaBGIWmro=; b=K5eujbtXvzG6SFSC5oYi1wY+So9aFSw8x4NDNzG4I0mPsOrdIaiKb85etzTSIe2EE4 lKJTERv1ICV/ri0rFrG/CFfnXsaWUvPqNIjL0uzh+cOIS/cdhgEHM5qf8401MY+AphX4 Gll6DrgElDvuomByngInWMmW/5/nvjNQGDN1qCXOTUPiQfijuARbuaKVTM/Xnc81uQhZ Ozm1GGqZbuWRRkdOkawTOMbwgRZlK6n8RDyy+vIuDBrEZBq82ojajfQM8MLyvQgahYC8 w0NMcHcj09QeDrhlr5pQ+SCslKGc8LD0k70bhvtt45zv9di27sg4+y00H7Fxn4+dGjrQ Ddjw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=bIADSDuK1BUkxJ0Ry1nrEP+m2YT+twF2iPkaBGIWmro=; b=HMx2tll5cH/9bJ2gRDB25GNdvanwHQCC7a4dEqRwhgOCz96KRBS8Jv9RZsltjkBrno asChqEHg7eAXOE5pcujj9JjD8MGgeInxodPbmlztKoDjrKlKPxE0itEtJymazvxdCMc6 faxsMmF0lOJnyorsRxImEAzj4AWfH7nRgq/TmCddggWTcIGGHnV6F+/Q1KkdaE5JsX22 Rnh794WSRmiu6SuMiYXuIpSAo69kE+30i2+Ty+lmxrO3sl5MDAoecSpV30ju4wOEvG9X xlRgqlPfGK5G8CDF//weYrAuOxlgb/mxQC4HSre5sZ1q10ewTg2ZhKtTopqfcn+4eqUs j75w== X-Gm-Message-State: AIkVDXIApBaKGiG1ABobhpt6rjPvhAAFy48IodAr9VgFPzoMNmQHxQA5yF/TV/lqZMe2oKKuw1SY1mZa5d62Bg== X-Received: by 10.55.135.69 with SMTP id j66mr18286452qkd.31.1482556913174; Fri, 23 Dec 2016 21:21:53 -0800 (PST) MIME-Version: 1.0 Received: by 10.237.37.73 with HTTP; Fri, 23 Dec 2016 21:21:52 -0800 (PST) From: Martin DeMello Date: Fri, 23 Dec 2016 21:21:52 -0800 Message-ID: To: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=94eb2c075f462b50b7054460ae09 Subject: [Caml-list] How do I set up multiple source directories in oasis? --94eb2c075f462b50b7054460ae09 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable this is my project tree: =E2=94=9C=E2=94=80=E2=94=80 src =E2=94=82 =E2=94=9C=E2=94=80=E2=94=80 frontend =E2=94=82 =E2=94=94=E2=94=80=E2=94=80 plugins =E2=94=82 =E2=94=9C=E2=94=80=E2=94=80 aclite =E2=94=82 =E2=94=94=E2=94=80=E2=94=80 json I have a library, src/converter.ml that depends on src/plugins/* which I have set up via INCLUDES=3D-I src -I src/plugins/aclite -I src/plugins/json ocamlbuild -use-ocamlfind $(INCLUDES) .... I'm trying to convert it over to using oasis via source_patterns, but this doesn't seem to be working Path: src/ InterfacePatterns: .,plugins/aclite,plugins/json ImplementationPatterns: .,plugins/aclite,plugins/json am I doing it wrong or is that not the problem source_patterns is meant to solve? I couldn't find any documentation or examples for it. martin --94eb2c075f462b50b7054460ae09 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
this is my project tree:

=E2=94=9C=E2=94=80=E2=94=80 src
=E2=94=82 =C2=A0 =E2=94=9C=E2=94= =80=E2=94=80 frontend
= =E2=94=82 =C2=A0 =E2=94=94=E2=94=80=E2=94=80 plugins
=E2=94=82 =C2=A0 =C2=A0 =C2=A0 =E2=94=9C=E2= =94=80=E2=94=80 aclite
=E2=94=82 =C2=A0 =C2=A0 =C2=A0 =E2=94=94=E2=94=80=E2=94=80 json

I have a library, src/converter.ml that depends on src/plugins/* which I h= ave set up via

INCLUDES=3D-I src -I src/plugins/aclite -I src/plugins/json

ocamlbuild -use-ocamlfind $(INCLUDES) ....=

I'm trying to convert it over to u= sing oasis via source_patterns, but this doesn't seem to be working

=C2=A0 Path: src/
=C2=A0 Interfac= ePatterns: .,plugins/aclite,plugins/json
=C2=A0 ImplementationPat= terns: .,plugins/aclite,plugins/json

a= m I doing it wrong or is that not the problem source_patterns is meant to s= olve? I couldn't find any documentation or examples for it.
<= br>
martin

--94eb2c075f462b50b7054460ae09--