Mail Archives: djgpp-workers/2003/02/05/00:40:32

Date: Wed, 5 Feb 2003 07:35:57 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: djgpp-workers AT delorie DOT com
Subject: Re: zoneinfo generated files
In-Reply-To: <>
Message-ID: <Pine.SUN.3.91.1030205073002.15128A-100000@is>
MIME-Version: 1.0
Reply-To: djgpp-workers AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp-workers AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com

On Tue, 4 Feb 2003, Charles Sandmann wrote:

> > > make ../zoneinfo/src generates and installs files we have in CVS -
> > > Is this a problem with the make under Win2K (calling install) - or
> > > are these really generated files checked into CVS?  If so, should we
> > > remove generated files from CVS?
> > 
> > As far as I have been aware these get re-built every time a full build is
> > done, ie 'make clean' followed by a 'make' in the src directory.
> I also did a clean build on W98 last night and saw they were
> overwritten.  I will delete them and try a clean build.  If that works
> OK I'll remove them from CVS.

While we are on this, here are 2 other todo items related to djtz*.zip 
that I never got to take care of:

  - make zoneinfo/src/makefile produce formatted man pages in 
    %DJDIR%/share/man (this probably requires some intelligent detection 
    of whether Groff is installed);

  - zoneinfo/src/makefile runs `yearistype', a shell script as part of its 
    thing, and thus requires Bash (and a few other utilities invoked by 
    the script) to be installed.  It would be nice to be able to build 
    zoneinfo files without Bash and the additional programs, since the 
    rest of the library build doesn't require any add-ons.  The script is 
    quite simple, so perhaps it's not too hard to eliminate the need for 

Perhaps someone will have enough time and motivation to do something 
about these 2 issues before v2.04 hits the Web sites.


- Raw text -

  webmaster     delorie software   privacy  
  Copyright 2019   by DJ Delorie     Updated Jul 2019