Opened 13 years ago

Closed 13 years ago

#252 closed bug (fixed)

Time stamp correction of pre-generated files

Reported by: dreyer Owned by: somebody
Priority: minor Milestone: 3-1-2 and higher
Component: dontKnow Version: 3-1-1
Keywords: Cc: dreyer


It should be ensured that the time stamp of pre-generated files is newer than the one of its source. Otherwise the generation may start - and fail if the accurate tools like 'flex' are not available.


The time stamp of the file src/Singular/ was one second older than the file it was supposed to be created from ( src/Singular/libparse.l), so the build process was trying to use 'flex' to update src/Singular/, which fails if flex is not available.

make install in Singular
make[4]: Entering directory `/export/home/drkirkby/32/sage-4.4.3/spkg/build/singular-3-1-0-4-20100214/src/Singular'
sh -I -Pyylp -t libparse.l > flex: not found test: argument expected
make[4]: *** [] Error 1 

See for a discussion of this.

The time stamp of the file src/Singular/ made the current time with:

touch src/Singular/

Change History (1)

comment:1 Changed 13 years ago by hannes

Resolution: fixed
Status: newclosed

While creating the tar file of the sources (from svn), touch Singular/ and Singular/ will be done

Note: See TracTickets for help on using tickets.