diff options
| author | Emilio Jesus Gallego Arias | 2020-01-16 18:35:44 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-01-17 16:21:56 +0100 |
| commit | 4a76c9f34c0468cc4b62239ca2adb83204a8b509 (patch) | |
| tree | 4473032427d4f58408a91be9f109075eba857002 /coq.opam | |
| parent | 55ded80878d47037e49ca9b60f89c422d184899f (diff) | |
[dune] [dbg] Add support for coqtop in dune-dbg
We also workaround problem #11405 , however, this should be reverted
once the problem is fixed in OCaml upstream.
Diffstat (limited to 'coq.opam')
| -rw-r--r-- | coq.opam | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -29,7 +29,6 @@ depends: [ build: [ [ "./configure" "-prefix" prefix "-native-compiler" "no" ] - [ "dune" "build" "@vodeps" ] - [ "dune" "exec" "coq_dune" "_build/default/.vfiles.d" ] + [ "make" "-f" "Makefile.dune" "voboot" ] [ "dune" "build" "-p" name "-j" jobs ] ] |