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 5B75D82355 for ; Sun, 21 Jan 2018 20:15:32 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=robert.muller2@gmail.com; spf=Pass smtp.mailfrom=robert.muller2@gmail.com; spf=None smtp.helo=postmaster@mail-ot0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of robert.muller2@gmail.com) identity=pra; client-ip=74.125.82.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="robert.muller2@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of robert.muller2@gmail.com designates 74.125.82.172 as permitted sender) identity=mailfrom; client-ip=74.125.82.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="robert.muller2@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-ot0-f172.google.com) identity=helo; client-ip=74.125.82.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="postmaster@mail-ot0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Alkh2DxIb+MOaEK0fFdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLfvxwZ3uMQTl6Ol3ixeRBMOHs6sC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffxhEiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJBUMhfVCJPH52y?= =?us-ascii?q?YJcUAuUbIepVtZPwq0cSoRa8AwSnGePhyiVPhn/zxaA0z+MhHhrY0ww6A9IFrX?= =?us-ascii?q?ParMjxNKcWT++11rTDwDLZb/NRwjjy9pLIcgw7rfGJQLJwdc7Rxlc1Fw/blViQ?= =?us-ascii?q?ponlMCmU1uQJqWSU8+1gVee2hmMhtgp/oSCvy98uh4TGnI4Z107I+CVjzIs2O9?= =?us-ascii?q?G0UlN3bNy6HJZWqiqULZF5Qtk4TGFtoCs6yqMJuZq8fCUSzZQo3R/fa/ief4iP?= =?us-ascii?q?/hLvSP+dITlliH9nZr6znRmy8U+nyu3zUsm7zkxGoTZCktnJrnwN1hrT5dabSv?= =?us-ascii?q?Zl/Eqs1iyD2x3N5uxEO0w5lrTXJ4Q8zrMyiJYfqUHDETX3mEXygq+WbEIk+u2w?= =?us-ascii?q?5uT9ZbXpvYGTN5Voig3kN6Quh8i/AeAmPQgUQWSW4uu81Lj58k34RLVGlOE5kq?= =?us-ascii?q?7csJzCP8QUura5AxNJ0oYk8xuwEy2p0NEcnXUeKFJFeQmHj5TyNlHVIPH4CO+/?= =?us-ascii?q?jE62nDdqwfDGJLzhDY/XInjNireyNYp6vmlXwQ83hfVW5pZVDL5JBPPoRgelv9?= =?us-ascii?q?XdClo9Mheo6+fhEtR0kI0EDzGhGKicZZnVu1KS+qoKPu2IaZVd7Cz6IfU/+7jr?= =?us-ascii?q?kHs9lEVHVaas1JoTLnu/G6I1cA2ifXPwj4JZQi8xtQ0kQbmv0QXaCG8BVzOJR6?= =?us-ascii?q?s5owoDJsejBIbHSJqqheXYjii+F5xSIGtBDwLVSCu6R8C/Q/4JLRmqDIp5iDVd?= =?us-ascii?q?DOquToYg0Velswqok+M6fNqRwTURsNfY7PYw5+DXkktspzl9DsDY1H3VCm8twT?= =?us-ascii?q?lOSDgx06Ry50d6zwXb3A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CsAAAB5mRahqxSfUpdHgEGDIUcJweDV?= =?us-ascii?q?oE5l0qGA4YEjTmCFwqKGQc/GAEBAQEBAQEBAQESAQEBCAsLCCgvgjgkAYI9Mx0?= =?us-ascii?q?BGx4DEggBBzcCJAERAQUBIootAQMVozSDRUCME4IFBQEcgwsFg1YKGScNWYI5A?= =?us-ascii?q?gYShDeCFY8mgmUFgS0BkhiQMgKBbZNulB+XMxQFIIEXH4IJMhojgQRSgSaCRR+?= =?us-ascii?q?CESM3iw4BAQE?= X-IPAS-Result: =?us-ascii?q?A0CsAAAB5mRahqxSfUpdHgEGDIUcJweDVoE5l0qGA4YEjTm?= =?us-ascii?q?CFwqKGQc/GAEBAQEBAQEBAQESAQEBCAsLCCgvgjgkAYI9Mx0BGx4DEggBBzcCJ?= =?us-ascii?q?AERAQUBIootAQMVozSDRUCME4IFBQEcgwsFg1YKGScNWYI5AgYShDeCFY8mgmU?= =?us-ascii?q?FgS0BkhiQMgKBbZNulB+XMxQFIIEXH4IJMhojgQRSgSaCRR+CESM3iw4BAQE?= X-IronPort-AV: E=Sophos;i="5.46,392,1511823600"; d="scan'208,217";a="310008469" Received: from mail-ot0-f172.google.com ([74.125.82.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 Jan 2018 20:15:31 +0100 Received: by mail-ot0-f172.google.com with SMTP id f100so5703944otf.3 for ; Sun, 21 Jan 2018 11:15:31 -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=NnNE2wdZ+VvwXoisB7s3tsUl/GAtd7TPn/wpQWPEG6c=; b=P1qoWXbMWIq+tkTROv32LNEgGQ9KYgLrllJKI87ezC6qfdJSDVw7aAG7MPaqm7KxNw U1rjospwCF41+5+XsRLzx8T36JYSIIourJ8Pr8j9KQTiwqZ0E8nuidzhpptiYrVzo0ON tpC7as/UPplC6PWimpHF/6v2APFXEopJYMVYmm8UJYoAt+CSUJGXj7cpjcgZCCOKYciE 9rqW2kfdxS77poFBl232m9EpMU8tG/8bDnrBCo+R3p4Ks7sBn62yh9d8qlEa2VQjGnC+ avws7ZMDKn+IyKav+Z0e805VYIjF3fDihKwgKm5/ayV07QGqeA60wD3EWjs5mw+xlVLs zoeQ== 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=NnNE2wdZ+VvwXoisB7s3tsUl/GAtd7TPn/wpQWPEG6c=; b=d+0TI1EZPTpKndu4mU+ws/CnwoyOOYFN9Aj12Qf9nKATWzHDAhy+iZH+76AIZPYIeU bbZjil567L8qMp0HIHEIb1SslXThNgXnheEASPJIWYj9BQGKCXpTx7zq398agZPcqf/t 3klwtDlni0MY6Sp5Yrkm+r4xvz4w+XbiJEf29t8SDdOGE5QjTETCKIcF8lOoRIMUxcau xGf8M9nPLIw04/vrMcRnM/rXVMh96g8/7QuenXi4bbqCJNzqTFAWWJxLsvsWG29ARAXi pbqFfwW7DopQceR7lO2yJ+1qyitMveQIHM2K0EJ3qw3CpPZyGPPYDZ0MDXru1Mi/e91+ XRNQ== X-Gm-Message-State: AKwxytf1txv+lE6zFkjq/qmleHu2By1t1LnxMcnw8+ovwGQnM/cGMKSB eM9ZRnvu0NkIEfP4lolWe0z5+ZzPiZ5k20bjjPr1ig== X-Google-Smtp-Source: AH8x226k+nuix+HYPn1fq0e0zINaElEhCbfV3OBfeWi2N2z8ahBEvk9MPRqT+zWSShqfokB9zav9aqOf9ZxXSbMKXaY= X-Received: by 10.157.90.148 with SMTP id w20mr3306848oth.314.1516562129491; Sun, 21 Jan 2018 11:15:29 -0800 (PST) MIME-Version: 1.0 Received: by 10.74.141.6 with HTTP; Sun, 21 Jan 2018 11:15:28 -0800 (PST) From: Robert Muller Date: Sun, 21 Jan 2018 14:15:28 -0500 Message-ID: To: Ocaml Mailing List Content-Type: multipart/alternative; boundary="f403045da614021bd505634e2339" Subject: [Caml-list] A question RE labltk installation on MacOS Sierra --f403045da614021bd505634e2339 Content-Type: text/plain; charset="UTF-8" Hello, I know this isn't the right forum for questions like the following. Can someone refer me to the right forum? I'm attempting to install labltk on a MacOS Sierra system on which I've installed tcl-tk using homebrew. Homebrew installs tcl-tk in /usr/local/opt/ but it doesn't symlink it in /usr/local/. I'm having trouble convincing the Makefile for labltk to find the .h files in /usr/local/opt/tcl-tk/include/ It doesn't seem to use CPPFLAGS. Any hints on either or both 1. where to ask this and 2. how to install labltk would be greatly appreciated. Bob Muller --f403045da614021bd505634e2339 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello, I know this isn't the right forum for questions= like the following. Can someone refer me to the right forum?

I'm attempting to install labltk on a MacOS Sierra system on whic= h I've installed tcl-tk using homebrew. Homebrew installs tcl-tk in

/usr/local/opt/

but it d= oesn't symlink it in /usr/local/. I'm having trouble convincing the= Makefile for labltk to find the .h files in

/usr/= local/opt/tcl-tk/include/

It doesn't seem to u= se CPPFLAGS. Any hints on either or both 1. where to ask this and 2. how to= install labltk would be greatly appreciated.
Bob Muller

--f403045da614021bd505634e2339--