Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

dune 901 Bytes
Newer Older
1 2
(env (_ (flags -w A-44)))

3 4 5 6 7 8 9 10 11 12 13 14 15
(alias
  (name default)
  (deps test.exe)
)

;; Compile the script [test.ml].
(executable
  (name test)
  (libraries str)
)

;; Use the script [test.ml] to generate the file [dune.auto.gen]
;; based on the content of the subdirectories [good] and [bad].
16 17 18
;; Note: if desired, one or more options of the form
;;   --extra-flags <some-menhir-flag>
;; can be passed to ./test.exe.
POTTIER Francois's avatar
POTTIER Francois committed
19
;; If you change these flags, run [make depend] to re-generate [dune.auto].
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
(rule
  (target dune.auto.gen)
  (deps (source_tree ../bad) (source_tree ../good))
  (action (with-stdout-to %{target} (run ./test.exe)))
)

;; Include the generated file [dune.auto].
(include dune.auto)

;; Building the target @depend in --auto-promote mode replaces
;; the file dune.auto with dune.auto.gen. This is a way of
;; regenerating dune.auto.
(rule
  (alias depend)
  (action (diff dune.auto dune.auto.gen))
)