diff options
| author | coqbot-app[bot] | 2020-12-07 16:32:53 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-07 16:32:53 +0000 |
| commit | 0369080c826171cf18cfa2c8be5024445cb4a2d9 (patch) | |
| tree | 24c0e2de702d1a06713b39557b3b3e95d53b07c4 | |
| parent | bfd3dac173db73b3eae07df27ec5d307c635afa0 (diff) | |
| parent | 55f49d3341a6c8a1830e526e775fd9903fe36aa8 (diff) | |
Merge PR #13588: Add `depopts: coq-native` in coq.opam.docker
Reviewed-by: Zimmi48
Reviewed-by: proux01
| -rw-r--r-- | coq.opam.docker | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/coq.opam.docker b/coq.opam.docker index 74ca68ac0b..253e648d3e 100644 --- a/coq.opam.docker +++ b/coq.opam.docker @@ -27,8 +27,14 @@ depends: [ "conf-findutils" {build} ] +depopts: [ + "coq-native" +] + build: [ - [ "./configure" "-prefix" prefix "-coqide" "no" ] + [ "./configure" "-prefix" prefix "-coqide" "no" + "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed} + ] [make "-j%{jobs}%"] [make "-j%{jobs}%" "byte"] ] |