diff options
| author | Théo Zimmermann | 2018-10-08 17:28:46 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-08 17:28:46 +0200 |
| commit | 2de0af56b813f2004261eb15fe22586105f3c886 (patch) | |
| tree | b0d58e179c8637a2a1a19f60fe4028a8b189d51d /ide | |
| parent | 22e7ae8f9f5d673fd552c30b7709b948bc8f68a5 (diff) | |
| parent | edaf8d0a34993ac5fab373128a27417a620643d4 (diff) | |
Merge PR #8657: [dune] Refactor files following advice from upstream.
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.opam | 21 | ||||
| -rw-r--r-- | ide/dune-project | 3 | ||||
| -rw-r--r-- | ide/dune-workspace | 6 |
3 files changed, 0 insertions, 30 deletions
diff --git a/ide/coqide.opam b/ide/coqide.opam deleted file mode 100644 index 897177b283..0000000000 --- a/ide/coqide.opam +++ /dev/null @@ -1,21 +0,0 @@ -opam-version: "1.2" -maintainer: "The Coq development team <coqdev@inria.fr>" -authors: "The Coq development team, INRIA, CNRS, and contributors." -homepage: "https://coq.inria.fr/" -bug-reports: "https://github.com/coq/coq/issues" -dev-repo: "https://github.com/coq/coq.git" -license: "LGPL-2.1" - -available: [ocaml-version >= "4.05.0"] - -depends: [ - "dune" { build & >= "1.2.0" } - "coq" - "conf-gtksourceview" - "lablgtk" { >= "2.18.5" } -] - -build-env: [ - [ COQ_CONFIGURE_PREFIX = "%{prefix}" ] -] -build: [ [ "dune" "build" "-p" name "-j" jobs ] ] diff --git a/ide/dune-project b/ide/dune-project deleted file mode 100644 index 948dc59000..0000000000 --- a/ide/dune-project +++ /dev/null @@ -1,3 +0,0 @@ -(lang dune 1.0) - -(name coqide-devel) diff --git a/ide/dune-workspace b/ide/dune-workspace deleted file mode 100644 index 38875eac2c..0000000000 --- a/ide/dune-workspace +++ /dev/null @@ -1,6 +0,0 @@ -(lang dune 1.2) - -; Add custom flags here. Default developer profile is `dev` -(env - (dev (flags :standard -rectypes -w -9-27-50+60)) - (release (flags :standard -rectypes))) |