Revision ac6ce5a1
Added by Lélio Brun over 2 years ago
| .gitlab-ci.yml | ||
|---|---|---|
| 40 | 40 |
# value of any variable defined here. |
| 41 | 41 |
|
| 42 | 42 |
DUNE_BUILD_TARGETS: "@all" |
| 43 |
DUNE_TEST_TARGETS: "@runtest" |
|
| 44 |
DUNE_DOC_TARGETS: "@doc" |
|
| 43 |
DUNE_TEST_TARGETS: "" #"@runtest"
|
|
| 44 |
DUNE_DOC_TARGETS: "" #"@doc"
|
|
| 45 | 45 |
# If you make one of these variables empty (: ""), |
| 46 | 46 |
# the corresponding build step will be skipped. |
| 47 | 47 |
# Setting them to other values can refine the build |
| dune | ||
|---|---|---|
| 1 | 1 |
; too bad dune does not support glob in install stanza |
| 2 | 2 |
; (see https://discuss.ocaml.org/t/installing-many-files-with-dune/4143) |
| 3 | 3 |
; TODO: open an issue? |
| 4 |
|
|
| 5 | 4 |
(install |
| 6 | 5 |
(section (site (lustrec include_))) |
| 7 | 6 |
(files |
| src/options_management.ml | ||
|---|---|---|
| 11 | 11 |
open Options |
| 12 | 12 |
|
| 13 | 13 |
let print_version () = |
| 14 |
Format.printf "Lustrec compiler, version %s (%s)@." version (codename ());
|
|
| 14 |
Format.printf "Lustrec compiler, version %s (%s)@." version codename;
|
|
| 15 | 15 |
Format.printf "Standard lib: %s@." Version.include_path; |
| 16 | 16 |
Format.printf "User provided include directory: @[<h>%a@]@." |
| 17 | 17 |
(Utils.fprintf_list ~sep:"@ " Format.pp_print_string) !include_dirs |
| src/version.ml | ||
|---|---|---|
| 1 |
let number = "%%VERSION%%"
|
|
| 1 |
let number = "@PACKAGE_VERSION@-@GITBRANCH@"
|
|
| 2 | 2 |
|
| 3 |
let codename () = |
|
| 4 |
match "%%VERSION_NUM%%" with |
|
| 5 |
| "1.7" -> "Xia/Huai-dev" |
|
| 6 |
| _ -> "dev" |
|
| 3 |
let codename ="@VERSION_CODENAME@" |
|
| 7 | 4 |
|
| 8 | 5 |
let include_path = Sites.Sites.include_ |> List.hd |
| 9 | 6 |
let testgen_path = Sites.Sites.testgen |> List.hd |
Also available in: Unified diff
disable tests in gitlab CI