CompCert/extraction/dune at fefb73d778d2b01961357cb9ba177cb4a05f132f · AbsInt/CompCert · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
; define extraction code based on env -> some modules are used only with some platforms
(subdir compcert (dynamic_include ../platform/dune.inc))


; riscV
(subdir platform (rule
 (action (copy riscV.dune dune.inc))
 (enabled_if (= %{env:TARGET_PLATFORM=ppc} riscV))))


; arm
(subdir platform (rule
 (action (copy arm.dune dune.inc))
 (enabled_if (= %{env:TARGET_PLATFORM=ppc} arm))))

; aarch64
(subdir platform (rule
 (action (copy aarch64.dune dune.inc))
 (enabled_if (= %{env:TARGET_PLATFORM=ppc} aarch64))))


; default, every other case is already specified
(subdir platform (rule
 (action (copy default.dune dune.inc))
 (enabled_if
  (not
   (or
     (= %{env:TARGET_PLATFORM=ppc} aarch64)
     (or
      (= %{env:TARGET_PLATFORM=ppc} arm)
        (= %{env:TARGET_PLATFORM=ppc} riscV)))))))