From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4HGji5c011176 for ; Tue, 17 May 2011 18:45:44 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhICAOal0k1KfVIqkGdsb2JhbACmFAgUAQEBAQkJDQcUBCGrD4wagjWFFjeIYgEBAwaGEwSQEYQvgRGFRTuDNw X-IronPort-AV: E=Sophos;i="4.65,226,1304287200"; d="scan'208";a="83397235" Received: from mail-ww0-f42.google.com ([74.125.82.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 17 May 2011 18:45:38 +0200 Received: by wwk4 with SMTP id 4so4064997wwk.3 for ; Tue, 17 May 2011 09:45:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:content-type:mime-version:subject:from :in-reply-to:date:content-transfer-encoding:message-id:references:to :x-mailer; bh=qqbcovW8zNA7NNUadGJycyWokzHwpEontVAOaC2bvDE=; b=lIhVAHyGIm/D9FvSnOTcLD80t+DgoHyVuGFvLeg8ZpiV2XRyBPY2o+Frc6iwR4lp4d QDFvR7UQI7FNBwNvdbTSmwMV1QW6AGgSUIRhCRE149RJRK/M6HLdScPogXLa4U18S81W LnbySL/x4kQZ6yTg2mhwSfSl7Iuid0VMuJ2B4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=ezY+v6SdHce5VGtSnou3buOTAUFtK81iBf1jC5ST5MbfdDJ/3oq0jInmdHklyU8/SI E/tdcaSXBXWRrIdfG8FyVf6FnM4D9ztwwZLSgnNkMwMvMhQb/CbdeQUoK3R3r6BTYZRB OzycTwvHNeh2HpU8AK5BXxKKcl28BtHaOIUPA= Received: by 10.216.239.73 with SMTP id b51mr936849wer.18.1305650738055; Tue, 17 May 2011 09:45:38 -0700 (PDT) Received: from [172.16.13.82] (0xc2efec01.hotspot.tele.dk [194.239.236.1]) by mx.google.com with ESMTPS id o78sm368507wep.24.2011.05.17.09.45.34 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 17 May 2011 09:45:35 -0700 (PDT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Apple Message framework v1084) From: Joel Reymont In-Reply-To: Date: Tue, 17 May 2011 18:45:33 +0200 Message-Id: <1949BD2E-8109-45ED-8430-62259AB3E6C7@gmail.com> References: To: caml-list X-Mailer: Apple Mail (2.1084) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4HGji5c011176 Subject: [Caml-list] Re: mac profiling The issue is that the OCaml native code generator does not output DWARF information. Any tips on how this should be done? I may have time to spare. -------------------------------------------------------------------------- - for hire: mac osx device driver ninja, kernel extensions and usb drivers ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------