diff options
| author | Théo Zimmermann | 2019-03-04 09:46:41 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-04 09:46:41 +0100 |
| commit | 913e377f3d24274215bd7d9d37c0189b8b5eb4a6 (patch) | |
| tree | 01b7902da80ed35e0b58b54e283996ac8b0054ca /dev/shim | |
| parent | 53240d3248ce1fb36ab99036186eda9051fbb068 (diff) | |
| parent | 9870e1f8662923d0de1b9c2014d3b4f647a893da (diff) | |
Merge PR #9047: [dune] Shim for starting `coqtop/coqide` with minimal config.
Reviewed-by: Zimmi48
Ack-by: rgrinberg
Diffstat (limited to 'dev/shim')
| -rw-r--r-- | dev/shim/dune | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/dev/shim/dune b/dev/shim/dune new file mode 100644 index 0000000000..85a0d205da --- /dev/null +++ b/dev/shim/dune @@ -0,0 +1,27 @@ +(rule + (targets coqtop-prelude) + (deps + %{bin:coqtop} + %{project_root}/theories/Init/Prelude.vo) + (action + (with-outputs-to coqtop-prelude + (progn + (echo "#!/usr/bin/env bash\n") + (bash "echo \"$(pwd)/%{bin:coqtop} -coqlib $(pwd)/%{project_root}\" \"$@\"") + (run chmod +x %{targets}))))) + +(rule + (targets coqide-prelude) + (deps + %{bin:coqqueryworker.opt} + %{bin:coqtacticworker.opt} + %{bin:coqproofworker.opt} + %{project_root}/theories/Init/Prelude.vo + %{project_root}/coqide-server.install + %{project_root}/coqide.install) + (action + (with-outputs-to coqide-prelude + (progn + (echo "#!/usr/bin/env bash\n") + (bash "echo \"$(pwd)/%{bin:coqide} -coqlib $(pwd)/%{project_root}\" \"$@\"") + (run chmod +x %{targets}))))) |