blob: 39b4ef492c0376b4b83f453cbc71134f9ae7c7c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
(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 coqbyte-prelude)
(deps
%{bin:coqtop.byte}
%{lib:coq.kernel:../../stublibs/dllbyterun_stubs.so}
%{project_root}/theories/Init/Prelude.vo)
(action
(with-outputs-to %{targets}
(progn
(echo "#!/usr/bin/env bash\n")
(bash "echo \"$(pwd)/%{bin:coqtop.byte} -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})))))
|
