diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-12 08:16:28 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-12 08:16:28 (GMT) |
commit | 414f639105293d3df3ec5cfc6f32edcd0f0b558f (patch) | |
tree | c3b1a6c255833c2c337101c975b8555ea5d5047d /config/tools.in | |
parent | 6b37673b6477be9c3796ce8f398f9f823471d21f (diff) |
comp-libs/cloog: new versions have the version number in the dir name
For CLooG/PPL 0.15.3, the directory name was simply cloog-ppl.
For any later versions, the driectory name does have the version, such as
cloog-ppl-0.15.4.
Diffstat (limited to 'config/tools.in')
0 files changed, 0 insertions, 0 deletions