From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> 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 53966820A1 for ; Fri, 9 Aug 2013 12:51:21 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.47 as permitted sender) identity=mailfrom; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@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-wg0-f47.google.com) identity=helo; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wg0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQCAO7IBFJKfVIvk2dsb2JhbABbghsEhDi9HxYOAQEBAQcLCwkUBCSCawEbHAIDEhAWFhgDAgECARERAQUBFhkIAod5AQMPBJkFgwCMUYMAhCkKGScNZId0AQUMkCyDeAOXYYYmiUQ/hD8 X-IPAS-Result: AhQCAO7IBFJKfVIvk2dsb2JhbABbghsEhDi9HxYOAQEBAQcLCwkUBCSCawEbHAIDEhAWFhgDAgECARERAQUBFhkIAod5AQMPBJkFgwCMUYMAhCkKGScNZId0AQUMkCyDeAOXYYYmiUQ/hD8 X-IronPort-AV: E=Sophos;i="4.89,845,1367964000"; d="scan'208";a="28915662" Received: from mail-wg0-f47.google.com ([74.125.82.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Aug 2013 12:51:20 +0200 Received: by mail-wg0-f47.google.com with SMTP id j13so3383486wgh.26 for ; Fri, 09 Aug 2013 03:51:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=ydras4PPutVt+F0wXCYBSiwFBLQ6tJi9/2CEa/Y8k4M=; b=wKWv0aZQ7WjyzafkVXtqoDo5zlr5niVnDiCkpn4jMy7lMwyosx87teItaO2H72346Y ozhythEQ27vaA+ng1r1vkQs6zFaMaINpzMAGxdWNO3Zvis2RVk05O37PWMIVb1uwx6P1 AVSGtafD9RuALopmt501VMz2xKTy8aMrZ+WqAOE0Hu9bxa67T2K4rSQU1SBg3tZtgTlc VjJUAhw9cCK9yTOppj42WODPsOxZA2KO5jJzXF0F/3uzl+Kv3P9Lw/PvMO/lY5n4bNj3 GXAtUjYVy01SparStgGRtYPn/lzKgMERAgxGjGM8sfKE9B3PQnwn3amivw0xqX6B2Zhq iaDw== X-Received: by 10.180.189.104 with SMTP id gh8mr53106wic.48.1376045480827; Fri, 09 Aug 2013 03:51:20 -0700 (PDT) Received: from [172.27.6.180] ([213.106.240.92]) by mx.google.com with ESMTPSA id z2sm2063110wiv.11.2013.08.09.03.51.19 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 09 Aug 2013 03:51:20 -0700 (PDT) Message-ID: <5204CA32.3020403@gmail.com> Date: Fri, 09 Aug 2013 11:53:38 +0100 From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12 MIME-Version: 1.0 To: caml-list@inria.fr X-Enigmail-Version: 1.4.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: [Caml-list] ocamldebug question Hello, Is there any convenient way how to tell ocamldebug which commands to execute at startup? (like it is possible to do with ".gdbinit" file for "gdb"?) It is not too bad to enter: break @ Main 1 run everytime, but if there is a way to automate that (or something more complex), it could make things smoother.