blob: 2c7f9c3fa918a2c77960eb118960f094de268654 (
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
41
42
43
44
45
46
47
48
49
50
51
52
|
(rule
(targets coqtop-prelude)
(deps
%{bin:coqtop}
%{project_root}/theories/Init/Prelude.vo)
(action
(with-stdout-to coqtop-prelude
(progn
(echo "#!/usr/bin/env bash\n")
(bash "echo '$(dirname $0)/%{bin:coqtop} -coqlib $(dirname $0)/%{project_root}' \\$@")
(run chmod +x %{targets})))))
(rule
(targets coqc-prelude)
(deps
%{bin:coqc}
%{project_root}/theories/Init/Prelude.vo)
(action
(with-stdout-to coqc-prelude
(progn
(echo "#!/usr/bin/env bash\n")
(bash "echo '$(dirname $0)/%{bin:coqc} -coqlib $(dirname $0)/%{project_root}' \\$@")
(run chmod +x %{targets})))))
(rule
(targets coqbyte-prelude)
(deps
%{bin:coqtop.byte}
%{lib:coq-core.kernel:../../stublibs/dllcoqrun_stubs.so}
%{project_root}/theories/Init/Prelude.vo)
(action
(with-stdout-to %{targets}
(progn
(echo "#!/usr/bin/env bash\n")
(bash "echo '$(dirname $0)/%{bin:coqtop.byte} -coqlib $(dirname $0)/%{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-stdout-to coqide-prelude
(progn
(echo "#!/usr/bin/env bash\n")
(bash "echo '$(dirname $0)/%{bin:coqide} -coqlib $(dirname $0)/%{project_root}' \\$@")
(run chmod +x %{targets})))))
|
