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 |
Description
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.
From http://trac.sagemath.org/sage_trac/ticket/9160:
The time stamp of the file src/Singular/libparse.cc 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/libparse.cc, 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 flexer.sh -I -Pyylp -t libparse.l >libparse.cc.lmp flexer.sh: flex: not found flexer.sh: test: argument expected make[4]: *** [libparse.cc] Error 1
See http://groups.google.com/group/sage-devel/browse_thread/thread/fbf5b7f781c3f523?hl=en for a discussion of this.
The time stamp of the file src/Singular/libparse.cc made the current time with:
touch src/Singular/libparse.cc
While creating the tar file of the sources (from svn), touch Singular/grammar.cc and Singular/scanner.cc will be done