Project

General

Profile

« Previous | Next » 

Revision ac6ce5a1

Added by LĂ©lio Brun over 2 years ago

disable tests in gitlab CI

View differences:

.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