<div dir="ltr">Suggestion: Forget about modifying the source data or zic, and just write a simple zoneinfo->zoneinfo filter that removes any transitions you don't want.<br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, May 18, 2017 at 12:50 PM, Viktor Sergiienko <span dir="ltr"><<a href="mailto:singalen@gmail.com" target="_blank">singalen@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thanks Paul!<br>
<br>
I don't have Android, I have a much smaller vanilla Linux. We do use<br>
zic in a toolchain.<br>
<br>
Update on my progress: immediately after sending the email, I got<br>
another idea: apparently, Rules need to stay in the source data, they<br>
shouldn't affect the output size, as long as no zoneline uses them.<br>
(hope it's correct)<br>
I've tried cutting zonelines only, but now I get several of:<br>
<span class=""><br>
> can't determine time zone abbreviation to use just after until time<br>
<br>
</span>It also appears to me that some zones will be completely empty, and<br>
thus should turn into Links (question is, to what?)<br>
The project goes on.<br>
<div class="HOEnZb"><div class="h5"><br>
On Thu, May 18, 2017 at 9:44 AM, Paul Eggert <<a href="mailto:eggert@cs.ucla.edu">eggert@cs.ucla.edu</a>> wrote:<br>
> Android uses its own format, which is smaller; you might look into that. If<br>
> memory serves, the default Android tzdata binary file doesn't worry about<br>
> dates after 2038, which can save space if you know your devices cannot<br>
> possibly be long-lived. There is an option to go past 2038, though, and I'd<br>
> likely use that myself.</div></div></blockquote></div></div></div>