blob: 85a0d205da8e6a1c52ef68705e88026628c0cd34 (
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
|
(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})))))
|
