| author | Thomas De Schampheleire <patrickdepinguin@gmail.com> |
| Wed Jul 17 08:25:43 2013 +0200 (2013-07-17) | |
| changeset 3225 | dcdc595a23c8 |
| parent 2957 | 3e2f2100a76d |
| permissions | -rw-r--r-- |
1 # PPL options
3 choice
4 bool
5 prompt "PPL version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
9 config PPL_V_0_11_2
10 bool
11 prompt "0.11.2"
12 select PPL_0_11
14 config PPL_V_0_11_1
15 bool
16 prompt "0.11.1"
17 select PPL_0_11
19 config PPL_V_0_11
20 bool
21 prompt "0.11"
22 select PPL_0_11
24 config PPL_V_0_10_2
25 bool
26 prompt "0.10.2"
27 select PPL_NEEDS_FPERMISSIVE
29 endchoice
31 config PPL_VERSION
32 string
33 # Don't remove next line
34 # CT_INSERT_VERSION_STRING_BELOW
35 default "0.11.2" if PPL_V_0_11_2
36 default "0.11.1" if PPL_V_0_11_1
37 default "0.11" if PPL_V_0_11
38 default "0.10.2" if PPL_V_0_10_2
40 # For PPL 0.10, we need -fpermissive to build on gcc 4.7+
41 # (even gcc-4.6+ ?)
42 config PPL_NEEDS_FPERMISSIVE
43 bool
45 # For PPL 0.11, we need to pull libpwl if configured static
46 config PPL_0_11
47 bool
48 select PPL_NEEDS_LIBPWL if ! COMPLIBS_SHARED
50 config PPL_NEEDS_LIBPWL
51 bool