diff options
| author | Erik Martin-Dorel | 2020-12-07 10:02:57 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-12-07 10:02:57 +0100 |
| commit | 55f49d3341a6c8a1830e526e775fd9903fe36aa8 (patch) | |
| tree | b1c71978eb1a22d3c689ba3a2bbca9ec0198e7c4 /coq.opam.docker | |
| parent | d8ba0f81c026d073c5271b7eda8ae22ce11105fe (diff) | |
Add depopts:coq-native in coq.opam.docker
Diffstat (limited to 'coq.opam.docker')
| -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"] ] |