lustrec/src/version.ml @ 57c96fb7
| 1 | 57c96fb7 | Lélio Brun | let number = "%%VERSION%%" |
|---|---|---|---|
| 2 | 1e48ef45 | ploc | |
| 3 | 57c96fb7 | Lélio Brun | let codename () = |
| 4 | match "%%VERSION_NUM%%" with |
||
| 5 | | "1.7" -> "Xia/Huai-dev" |
||
| 6 | | _ -> "dev" |
||
| 7 | 41e48ef3 | Eric NOULARD | |
| 8 | 57c96fb7 | Lélio Brun | let include_path = Sites.Sites.include_ |> List.hd |
| 9 | let testgen_path = Sites.Sites.testgen |> List.hd |