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 c5ff346549e7 (Postfix) with ESMTPS id 43D925D5 for ; Fri, 10 Dec 2021 21:37:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,196,1635199200"; d="scan'208";a="10169225" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Dec 2021 22:37:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 42E6EE0B13; Fri, 10 Dec 2021 22:37:38 +0100 (CET) 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 0C768E016E for ; Fri, 10 Dec 2021 22:37:36 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=den9562@rit.edu; spf=Neutral smtp.mailfrom=den9562@g.rit.edu; spf=None smtp.helo=postmaster@mx03a-out01ag.rit.edu IronPort-PHdr: =?us-ascii?q?A9a23=3AbJmINh/LIM799v9uWSm8ngc9DxPPW53KNwIYoqA?= =?us-ascii?q?ql6hJOvz6uci4ZQqPv7400QaBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg?= =?us-ascii?q?94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZ?= =?us-ascii?q?oKujvFYPekdm72/qx9pHNbAlEmTqwba5vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe?= =?us-ascii?q?+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgf?= =?us-ascii?q?MQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmi?= =?us-ascii?q?DkJOSM3/m/Ujcx/g61Vrw66qhxj3oDZep2ZOOZicq/De94RWGpPXtxWVyxEGo6?= =?us-ascii?q?wYYUBAPAfPeZZsob2ulQAoQGjDge0Huzv0CFIiWXo0qw73egqDAbL0xE+ENIIt?= =?us-ascii?q?HnZrNT4OLkJXOCvzanI0S/PYO1L1jfg8YXFdA0qrv6QU7xqa8XR1VUvGB3fjlW?= =?us-ascii?q?WsYHrMTKY2OQPvmWV8+dtSP+jhnIopQxsozWix8Qhh5fLi48U1l3I6yV0zogrK?= =?us-ascii?q?dGmSEN3f92pHZpOuiyeKYd7TMwvTmd1syg50r0LoYO3cDYOxZg92RLTduaLfoa?= =?us-ascii?q?S7h7+WuucLi90iXBqdb6lhhu/9VKsx+/zW8Wu31tGsyxImcTWuH8XzRzc8M2HR?= =?us-ascii?q?+N9/ki/3TaP0Bje6uRLIEwom6fUMYctwrktlpoPrUjPAzX5mErsgK+Md0Uk5vK?= =?us-ascii?q?k5Pr6bbX7vpOcNol0hR/iMqk2h8CzH+A1PhIQU2SG4+ix2qfv8VD3TbhFlvE2l?= =?us-ascii?q?7PWsJHeJcQVvK65BApV354+5BmhCTer1NQVkHgZIF9edxKLlZLpO1DSIPziE/i?= =?us-ascii?q?wnkmsnC9xx//aJr3hHonNLn/bnbj9Z7l97kpcxBM3zdBe/JJUFqoMIOnzW0/0r?= =?us-ascii?q?NzXFAU1Mw2yw+b9CdVyzJkSWWyVAvzRDKSHulaN4qcrIvKQTI4Tojf0bfY/tND?= =?us-ascii?q?0inps03MUY6illbZRIFaxBOpvLlfTKS7gj9FQTDlQlhA/UKrnhEDUAm0bXGq7Q?= =?us-ascii?q?69pvmJzM4mhF4qWHuhFZZSb3Tv9E5FLNDgu4rGkFGewLIzBXOoQMHubLYl7kyB?= =?us-ascii?q?CWLS8GddJPf6Gu0ngyqYhI+bJqHdwiA=3D=3D?= IronPort-Data: =?us-ascii?q?A9a23=3Af5aHsqgYvIqY2TMDO+8b/aDFX161MREKZh0ujC4?= =?us-ascii?q?5NGQNrF6WrkVVzzZLWm+BbPfbNDH3e90gb4Ti80gCsMSDx9NnTQQ4+1hgHilAw?= =?us-ascii?q?SbnLYTAfx2oZ0t+DeWaERk5t51GAjX4wXFdokb0/n9BCZC86yksvU20buCkUre?= =?us-ascii?q?dYHkpHVUMpBoJ0HqPpcZp2uaEvvDiW2thifuqyyHuEAfNNwxcagr42IrfwP9bh?= =?us-ascii?q?8kejRtD1rAIiV+ni3eF/5UdJMp3yahctBIUSKEMdgKxb76rIL1UYgrkExkR5tO?= =?us-ascii?q?Nyt4Xc2UPUuaJNE2Jl2YOAqGtxAJDumo/3rtT2Pg0MB0GzW/Q2Ys3kY4R3XCzY?= =?us-ascii?q?V9B0qnklOkbAkQGSQlxe7dH5PnKLWXXXcm7lhWfLSq2m6kG4EYeZ9RCpLYoWAm?= =?us-ascii?q?i78cwIzkIalWHhvmq6KmqT/FlwMUlNsjieo0F0kyMZxnNVaN7B8nXGvCSo4dMh?= =?us-ascii?q?mJowJoXRqvKPJ9BL2d7M0HpfTtjOnE2AbQqxb/93j2mZ1W0s3qQtfJs6i3U0RA?= =?us-ascii?q?pibHidsDUZpqHSdg9o6pRnUqel0yRP/3QHIX3Jfu5HnOQaivnmDOjA4tXE6Ckr?= =?us-ascii?q?qdjjxuJx3BVBRELPbd+iZFVlWbmM++z6WRNksbtkUT23EPtVNjhGRC0vRZoezY?= =?us-ascii?q?CDsFIHbRSBB6lkMLpDsXwOoTAZiRAdJoruNJeqfkCvrOWt4uBOAGDe4F5hZ5QG?= =?us-ascii?q?nl4YN9y1eUowbc+WBI5?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A/1JZIKrJWDdpQnbNRBOj88AaV5qQeYIsimQD?= =?us-ascii?q?101hICG9vPb4qynIpoV86faUskd3ZJhEo7q90ca7LE80maQY3WBVB8bAYOEJ0F?= =?us-ascii?q?HYUL2KrrGSvgEJIkXFh5FgPN5bAtZD4b/LbWSS/PyKhDVQSOxQueVvmZrA7Yzj?= =?us-ascii?q?JjVWPGNXgsdbgDuRYTzrd3GeKjMpOXMRLuvs2uN34xShZFUKZYCBCnEeWe+rna?= =?us-ascii?q?ywqLvWJTAHGj864020gTmp8b73FAXw5GZkbxp/hZkj7EnYmEjD6q+iqvG2zQKZ?= =?us-ascii?q?/2Lf9JhNgrLau6t+Lf3JpMgJCynmzjylY4lsQNS5zUgInN0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRBQDLx7Nhl4YDFYFaHAEBATwBAQQEA?= =?us-ascii?q?QECAQEHAQEVgVuBOgIBAQEBgWNYao1KhWuTVoEwAotjCQEDAQsBARICGRICBAE?= =?us-ascii?q?BiCkCHQUHNBMBAgQVAQEFAQEBAgEDAwQBEwEBAQEBAQEBCRsGVoVoDYI1IoQEK?= =?us-ascii?q?AYBATg7FR8BJAEFARZBgk8BgxelN4EEPYswgTOBAYIIAQEGhW8BCYFNGgkJAQi?= =?us-ascii?q?BJgIBAQEBAQGCZItIJ4Iphk2DQoUwkmwGgRCBK0WCCAEBAaBWnWABBgEBAoNAi?= =?us-ascii?q?mKLSIkpEYUokD+RT4VikEmhEgeBToM2AgoHBhAjgVWBfXKBbIFLCUgZD414ATM?= =?us-ascii?q?WhDqDNoZcJDI4AgYLAQEDCYVGiyoBAQ?= X-IPAS-Result: =?us-ascii?q?A0BRBQDLx7Nhl4YDFYFaHAEBATwBAQQEAQECAQEHAQEVgVu?= =?us-ascii?q?BOgIBAQEBgWNYao1KhWuTVoEwAotjCQEDAQsBARICGRICBAEBiCkCHQUHNBMBA?= =?us-ascii?q?gQVAQEFAQEBAgEDAwQBEwEBAQEBAQEBCRsGVoVoDYI1IoQEKAYBATg7FR8BJAE?= =?us-ascii?q?FARZBgk8BgxelN4EEPYswgTOBAYIIAQEGhW8BCYFNGgkJAQiBJgIBAQEBAQGCZ?= =?us-ascii?q?ItIJ4Iphk2DQoUwkmwGgRCBK0WCCAEBAaBWnWABBgEBAoNAimKLSIkpEYUokD+?= =?us-ascii?q?RT4VikEmhEgeBToM2AgoHBhAjgVWBfXKBbIFLCUgZD414ATMWhDqDNoZcJDI4A?= =?us-ascii?q?gYLAQEDCYVGiyoBAQ?= X-IronPort-AV: E=Sophos;i="5.88,196,1635199200"; d="scan'208";a="10169204" X-MGA-submission: =?us-ascii?q?MDH0r1FiWqn7LPYhrrgL6d8k0IG+8y+jeWSNQx?= =?us-ascii?q?66AKbBbTAmqcod7uGTJ/dXViSZ3lwW+pTIb8pWETC2h81I2YS6utfUAU?= =?us-ascii?q?vsqrIJSl2ZhKw7if/YFIGB4W/vPDCaU/xaD5JPANj3+CxiDstqTqHDUu?= =?us-ascii?q?SahBMmfAOJofI/oxoVVA8rLQ=3D=3D?= Received: from mx03a-out01ag.rit.edu ([129.21.3.134]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Dec 2021 22:37:35 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=rit.edu; i=@rit.edu; q=dns/txt; s=rit1608; t=1639172255; x=1670708255; h=from:to:subject:date:message-id:mime-version: content-transfer-encoding; bh=SmeXKgYY7U/a/tge7pHasbW7AvqfflzYBXxxESHdqnM=; b=f3lr/5XTZLWOhFqX5WyM4DiEOjuhc7IUUpu612NM0bPHlscggXAVHMvt IT2ulGEKN/vvvcpuMP/G75yqqa5sBtmFM16a/zzcRYi3slc8vWp2Ryx8F trW4KMHTNAAGkF9gumsThEHYHkykQrwJgrE754hG7F4HimIRWIwZFU8Oz 8=; IronPort-SDR: ymAoah10XWma8GNefnRLUuyymdUqJtF9MSogRoFA54Ahjolr57I6wTfUo0SlqS9UOB6zlVhVMN z28bcjkYiOhzDolVidUPlqVUttbSyQP78PovGeTKynEJVn5GzWn8ouqdpK/tc4kf7ShSP53ybD 1+SeQaAb2iX2Nci/3l2LsyD14PyoetoHremUhe7wBlZExFEYNQlr4jK0fTQvIKPjM5zJmRu8DN PqmnP8AmcL0M93kOgOop287krGFVJdsC6ctvD1iMU/uztPmfCQ4ZjerPqS7UzJ3te6KweqhJwm zVs= X-RIT-GSuite: Yes X-IronPort-AV: E=Sophos;i="5.88,196,1635220800"; d="scan'208";a="345059200" Received: from mail-qt1-f197.google.com ([209.85.160.197]) by smtp-server.rit.edu with ESMTP/TLS/ECDHE-RSA-AES128-GCM-SHA256; 10 Dec 2021 16:37:32 -0500 Received: by mail-qt1-f197.google.com with SMTP id v19-20020ac85793000000b002b19184b2bfso15568126qta.14 for ; Fri, 10 Dec 2021 13:37:32 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:subject:date:message-id:organization :mime-version:content-transfer-encoding; bh=HgL9OlWq6tkXH1LJ0chZ9ZnfurtDedVv1W+hQhgePCc=; b=2sepdtCabvC+JWssogXDoc+mUQ0wzEG0KjOQu5EbkqLmSPhpV9efS0oVIIbxZayUxQ ZS0hLpHUlKEhPc3yfflnQkLnEi/rAuYbxUphtCuaUFrKIw4B+i/ABekyHsMGDzxpts7h OocoFUspTnavbomC9LVOEz09boOeD0l3pUyIcOLz0YINAfs63Ke5aq9R/Pz/tq0cf5pO 6YpG1Hu7afQWctnznBbLhM+AQaAm21xMqXXSD8reqvBtNPbzyqRz7+PgZOv57KPm99+8 YLch/pmKj7iKDAvXnczqXi5Y9EwJjajSvn+myAuVrXauoSmexaZrD5lqZKLazl04sVgX 3yIA== X-Gm-Message-State: AOAM533r9mlKrGHemaw8bmiYyG/Im5Y2jnWsl6LFFQAxtSD9/P33NIaz LF6sRI3ECqXCY6NrNvTVDWn5lrZveyfDJey7vlhZyhftFRS0EXdZtwV7KmvKCv3E+bDJBGrFXoW xYuMy+8bLS5rTCTndJBONnA== X-Received: by 2002:a05:620a:148a:: with SMTP id w10mr22614699qkj.277.1639172251896; Fri, 10 Dec 2021 13:37:31 -0800 (PST) X-Google-Smtp-Source: ABdhPJzOZyCNgQ0XgZraZB1Eov4HDHNFgQmfwEX+nb9B7pc8UOtwugixAOlLJyd5+3ri0YKrVoXCPA== X-Received: by 2002:a05:620a:148a:: with SMTP id w10mr22614685qkj.277.1639172251665; Fri, 10 Dec 2021 13:37:31 -0800 (PST) Received: from titanium.localnet (cpe-74-69-74-41.rochester.res.rr.com. [74.69.74.41]) by smtp.gmail.com with ESMTPSA id h19sm2789307qth.63.2021.12.10.13.37.30 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 10 Dec 2021 13:37:30 -0800 (PST) From: "David E. Narvaez" To: caml-list@inria.fr Date: Fri, 10 Dec 2021 16:37:29 -0500 Message-ID: <1801314.tdWV9SEqCh@titanium> Organization: RIT MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" Subject: [Caml-list] ocamldep and stdlib Reply-To: "David E. Narvaez" X-Loop: caml-list@inria.fr X-Sequence: 18624 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Greetings, I am fairly inexperienced with OCaml but I have inherited a Makefile from a project, and it uses ocamldep in a way that is equivalent to the following example: $ cat hello.ml module StringSet = Set.Make(String) ;; module StringMap = Map.Make(String) ;; $ ocamldep -I /usr/lib64/ocaml/ hello.ml hello.cmo : \ /usr/lib64/ocaml/string.cmi \ /usr/lib64/ocaml/set.cmi \ /usr/lib64/ocaml/map.cmi hello.cmx : \ /usr/lib64/ocaml/string.cmx \ /usr/lib64/ocaml/set.cmx \ /usr/lib64/ocaml/map.cmx The problem is those dependency files do not exist, instead I have these files: $ ls -1 /usr/lib64/ocaml/*{string,set,map}.cm[ix] /usr/lib64/ocaml/stdlib__map.cmi /usr/lib64/ocaml/stdlib__map.cmx /usr/lib64/ocaml/stdlib__set.cmi /usr/lib64/ocaml/stdlib__set.cmx /usr/lib64/ocaml/stdlib__string.cmi /usr/lib64/ocaml/stdlib__string.cmx I have noticed that I do not get incorrect filenames (in fact, any filenames) if I do not specify the location of the ocaml libraries: $ ocamldep hello.ml hello.cmo : hello.cmx : but I was hoping I did not have to change the call in the Makefile. I have tested this in OCaml 4.09.0 and 4.12.1. Is this a bug? or what is the correct way of using ocmaldep in this case? Thanks in advance for your help. -- David E. Narvaez