config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jan 17 23:06:02 2010 +0100 (2010-01-17)
changeset 1740 c57458bb354d
parent 1386 7995942261f2
child 2072 72b3996ba3e6
permissions -rw-r--r--
configure: do not require hg when configuring in an hg clone

When configuring in an hg clone, we need hg to compute the version string.
It can happen that users do not have Mercurial (eg. if they got a snapshot
rather that they did a full clone). In this case, we can still run, of
course, so simply fill the version string with a sufficiently explicit
value, that does not require hg. The date is a good candidate.
     1 # PPL options
     2 
     3 choice
     4     bool
     5     prompt "PPL version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config PPL_V_0_10_2
    10     bool
    11     prompt "0.10.2"
    12 
    13 endchoice
    14 
    15 config PPL_VERSION
    16     string
    17 # Don't remove next line
    18 # CT_INSERT_VERSION_STRING_BELOW
    19     default "0.10.2" if PPL_V_0_10_2