#784096 pps-tools: Please provide a -dev package

Package:
pps-tools
Source:
pps-tools
Description:
LinuxPPS support tools and headers
Submitter:
Vincent Blut
Date:
2015-05-03 14:51:05 UTC
Severity:
wishlist
#784096#5
Date:
2015-05-03 00:55:08 UTC
From:
To:
Hi,

It would be great to split the header file from the 'pps-tools' package.
I maintain a package (chrony) which can be enhanced by providing PPSAPI
support (RFC 2783), but currently I have no choice but to build-depend
on the whole thing which is cumbersome. Also, more packages could benefit
from this split, ntp and gpsd are among them.

Have a good day,
Vincent
#784096#10
Date:
2015-05-03 14:40:56 UTC
From:
To:
severity 784096 wishlist
tags 784096 wontfix
thanks


hi,

with my pps-tools and gpsd maintainer hat on I say:

Installed-Size: 76

is so tiny that I can't see a reason to create a single package for a single 5k
header file.

cheers,

bernd
#784096#19
Date:
2015-05-03 14:49:33 UTC
From:
To:
Le dim. 3 mai 2015 à 16:40, Bernd Zeimetz <bernd@bzed.de> a écrit :

Hi,

Well, makes sense. :-)

Anyway, thanks Bernd for considering!

Cheers,
Vincent