config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jan 06 18:42:41 2010 +0100 (2010-01-06)
changeset 1696 f04fb2d52023
parent 1386 7995942261f2
child 2072 72b3996ba3e6
permissions -rw-r--r--
complibs/mpfr: add latest version 2.4.2

Note: the MPFR site happens to be down at the time I wrote
this message, and happens to be down quite often.

Once it's back up'n'runnin', I'll mirror as much as possible
the MPFR tarballs on my site, but in the meantime, you'll
have to handle it by yourself (patience...).
     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