Ping; can anybody help me with this? On Fri, May 1, 2015 at 7:49 AM, Aaron Jacobs <[email protected]> wrote: > Hi v8-users, > > For my application, which embeds v8, I need to use > v8::platform::CreateDefaultPlatform, declared in libplatform.h. But I'm > extremely confused how I'm intended to do so. > > I've installed v8 4.1.0.27 on OS X using homebrew. Here are the relevant files > I see: > > /usr/local/include/libplatform > /usr/local/include/libplatform/libplatform.h > /usr/local/include/v8-platform.h > /usr/local/lib/libv8_libplatform.a > > This is all a bit crazy: > > * The library file name is libv8_libplatform.a. The redundant 'lib' in there > is > ugly, but okay At least it has 'v8' in the name. > > * In contrast, the include directly has entirely claimed the generic name > 'libplatform', without any hint that this is related to v8. > > * Also, include file names also don't usually use the string 'lib'. > > * Also, the single include file really doesn't need its own directory. > > * Seriously, you want this function only if you are using v8. Why does it need > to pretend it's part of a different library? > > * Most importantly: libplatform.h contains `#include "include/v8-platform.h"`. > This of course doesn't work with default include paths. If I want to fix it, > I have to set up /usr/local itself as an include path. That's just silly. > > It's possible that this is the fault of the homebrew installation formula, > rather than v8 itself. Can you give some guidance on the following questions? > > 1. If this is the fault of the way homebrew lays out the files, what is the > intended file layout? I will file a homebrew bug instead. > > 2. Otherwise, how are users intended to include libplatform.h, and what > include > paths should they be setting up to do so? > > Thanks, > Aaron
-- -- v8-users mailing list [email protected] http://groups.google.com/group/v8-users --- You received this message because you are subscribed to the Google Groups "v8-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
