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 198427FA5E for ; Tue, 16 May 2017 19:55:30 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tim@ryanleonard.us; spf=None smtp.mailfrom=tim@ryanleonard.us; spf=None smtp.helo=postmaster@mail-io0-f174.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tim@ryanleonard.us) identity=pra; client-ip=209.85.223.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="tim@ryanleonard.us"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tim@ryanleonard.us) identity=mailfrom; client-ip=209.85.223.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="tim@ryanleonard.us"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f174.google.com) identity=helo; client-ip=209.85.223.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="postmaster@mail-io0-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ANQaLghRII8tbrB074MneqPCZUdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69ZRaN2/xhgRfzUJnB7Loc0qyN4vymATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbx/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY08HrXhMNsg61Vrg+vqR9hzYDTe4yaLuZyfqbHcNMaWWZNQMBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMM/hZr4n4ulAAqwWxBQ6qBOz10D9Hm2L90Kok3eQgFAHLxxIuH9MLsH?= =?us-ascii?q?rSstr1M6ESXvqvzKbV1znDcuhW1C775YPVcR4huemBUaxsfcfV00UiFAPIgk+O?= =?us-ascii?q?pYD7MT6ZzPkBvmqU4uZ4V++ii3Qrpxx/rzWg3Msgl4fEipgLxlzY8yhy3Zw7Ks?= =?us-ascii?q?eiSEFhZN6pCJtQuD+eN4txWs4iRntnuCc+yrEfuJ67ezQGxI0pxxLCafGKfJKE?= =?us-ascii?q?4h3kVOaWLjd4gGxqdKijiBa19Eis0uz8Vs+q31ZWtidJjMXAu3QX2xHQ6sWLUO?= =?us-ascii?q?Vx8lmv1DqVygze6O5JLVgxlaXBKp4hxrAwloAUsUTGBiL2hET2jKqNe0U++umn?= =?us-ascii?q?8eLnYrH4qZ+bMY97kBv+Pbk0lsyiGuQ0KhIOUHSD+eSgyL3j+lX0T6lQgf0zlq?= =?us-ascii?q?nVqZTaJcUApq6lGAJVyYYi6xOnDzi8ytgYnH8HLEhEeB2dlYTpNUvOc7jECqK0?= =?us-ascii?q?ilGo1TNq3OzuP7v7A5yLIGKQvq3meONB6ksU7Ac0y9lF69oANrAECM7yX2v8s9?= =?us-ascii?q?rRFBN/LhfikLWvM8l0yo5LATHHOaSeKq6H6VI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BDEgCAPBtZhq7fVdFcSBgHgjeBOYEcs?= =?us-ascii?q?CaTPEQTAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigwoBATgQDgF1AQUBFopCn24?= =?us-ascii?q?/ix2DEIMJAQEFiBsICQEIhVqCfIgfgnWCMZ4PgRyccRCGaZAAgnszgRU3gSpPM?= =?us-ascii?q?1sBglKBTgGCXloBiEIBAQE?= X-IPAS-Result: =?us-ascii?q?A0BDEgCAPBtZhq7fVdFcSBgHgjeBOYEcsCaTPEQTAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCAsLCCgvgjMigwoBATgQDgF1AQUBFopCn24/ix2DEIMJAQEFi?= =?us-ascii?q?BsICQEIhVqCfIgfgnWCMZ4PgRyccRCGaZAAgnszgRU3gSpPM1sBglKBTgGCXlo?= =?us-ascii?q?BiEIBAQE?= X-IronPort-AV: E=Sophos;i="5.38,350,1491256800"; d="scan'208,217";a="223858225" Received: from mail-io0-f174.google.com ([209.85.223.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 May 2017 19:55:29 +0200 Received: by mail-io0-f174.google.com with SMTP id f102so98426662ioi.2 for ; Tue, 16 May 2017 10:55:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ryanleonard-us.20150623.gappssmtp.com; s=20150623; h=sender:from:mime-version:date:subject:message-id:to; bh=Yofk7/xG8tAlmal5ZTfZ42M3fOUrM9/1nOmRYLcNtB4=; b=FfANeloSSRIdblckQIOFbIWDISRiC0oC4/Z3H6qLONjRFRe89hQSspTWMFKCChxvnu oFzx/UPDg9/hiXlpxpKVYmcvOVnLeV2CWLhdHYxxzP+s5LQpbuQ6I3BUOBDxNxhEja4r EUrzzDc7W60ZA7rxLKL/Klw4j8a8ctzulFeOtnfeSWaps+df5/lrgzBfVcS1+45sh9LR +d0mHnBdlaZF1wpRVlz4hukGlBc/QyKsfNoAztmWPgtMEtg7ePnjDwq+Vt4DDUNSYMg+ Cdj3c9Q55Y1B1swlJK/gSUCO8r861dHq1zKNuAZTNNPOI2E4/vRr57xGgIQhGOHlaKAI aA4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:from:mime-version:date:subject:message-id :to; bh=Yofk7/xG8tAlmal5ZTfZ42M3fOUrM9/1nOmRYLcNtB4=; b=bu0SaSjPOd9Gn4hYVeXny7dmkbR674TtS8uLqMCIPrIBRdSNE7lcza/y3x9mRWfgq9 XohiOgNLwq07R72DbcqCDCQOECh1f43PozbsDu3UrOYHte559nivW/F1icoaYySCfoAx k2I+QXbEfQc7ZaVIEcHe34wfdxllflyThP3szAXyGOk4Qi+B3ETU9ICeUzEr5epw6YJb xyRyya0l2fRmGLA2HzaP5Jz6v0ZXKlGW19sdl5rn7zLzTIgd+UNuM2QZmc+w/uxxcTLZ dsi8oUKRr8jd6lQf3UZrdEQUGvQqLiM5w0yqpTzsOfE70tUqV8kMzyx1q2MyA8oAOGAI iPVQ== X-Gm-Message-State: AODbwcBNF/AZMWV2BrtSTR57AeHgLvgD00OcPBpL31tZrzqyokfFkOJP e1Tz0dt8NM3ZTw== X-Received: by 10.107.154.81 with SMTP id c78mr1596867ioe.109.1494957327561; Tue, 16 May 2017 10:55:27 -0700 (PDT) Received: from [10.0.1.15] ([75.134.13.20]) by smtp.gmail.com with ESMTPSA id i20sm1294197iti.8.2017.05.16.10.55.26 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 16 May 2017 10:55:26 -0700 (PDT) Sender: Tim Leonard From: Tim Leonard Content-Type: multipart/alternative; boundary="Apple-Mail=_0B9AFA5C-3775-4F69-8E2C-FFCC86A8741C" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Tue, 16 May 2017 13:55:27 -0400 Message-Id: <050FF82D-44DC-48CE-92E2-C55B023657C5@TimLeonard.us> To: caml-list@inria.fr X-Mailer: Apple Mail (2.3273) Subject: [Caml-list] installing emacs mode --Apple-Mail=_0B9AFA5C-3775-4F69-8E2C-FFCC86A8741C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii It looks like the way to use ocamldebug is with an emacs mode. The manual says that instructions for installing it are in the distribution= , in the emacs directory. I got the current distribution, went to the emacs directory, and ran "make = install". The first line is "include ../config/Makefile" and there is no such file, s= o it fails. Any suggestions?= --Apple-Mail=_0B9AFA5C-3775-4F69-8E2C-FFCC86A8741C Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii It looks= like the way to use ocamldebug is with an emacs mode.
The manual says tha= t instructions for installing it are in the distribution, in the emacs dire= ctory.
I got the current distribution, went to the emacs directory, and ra= n "make install".
The first line is "include ../config/Makefile" and there= is no such file, so it fails.
Any suggestions?= --Apple-Mail=_0B9AFA5C-3775-4F69-8E2C-FFCC86A8741C--