Changes between Initial Version and Version 1 of Ticket #12655, comment 67


Ignore:
Timestamp:
04/03/12 20:33:36 (9 years ago)
Author:
AlexanderDreyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12655, comment 67

    initial v1  
    22> If one doesn't want to change the timestamps, one could make the `pbori` module just (or also) depend on the `.so` (without a version suffix), since the (target of the) latter will always have a fresh modification time.
    33The libraries are already listed as `libraries=['polybori', 'polybori_groebner', 'gd', 'png12', 'm4ri']`. Aren't they considered as dependencies anyway?
     4
     5But the timestamp of `include/polybori/config.h` varies, so #12799 fixes the problem.