On Sat, Apr 20, 2013 at 11:21 AM, Lauri Kasanen <[email protected]> wrote:
> On Sat, 20 Apr 2013 01:48:02 -0700
> Vincent Cheng <[email protected]> wrote:
>
>> I'm assuming monkey-dev should install everything from src/include/ in
>> the source tree into /usr/include/ in the binary package, correct? And
>> what do you want installed into the -doc package?
>
> If you do a binary-only build, no headers should be installed. If you
> enable the shared library, the header in src/include/public will be
> installed.
By default dpkg-buildpackage (or fakeroot debian/rules binary instead
of binary-indep) will generate both arch-specific and arch-all
packages - right now, both monkey-{dev,doc} packages are built, but
they're empty, which is definitely problematic.
As for enabling the shared library, is there a flag I need to pass to
./configure that's not a default option?
Cheers,
Vincent
_______________________________________________
Monkey mailing list
[email protected]
http://lists.monkey-project.com/listinfo/monkey
