Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 86 lines (70 sloc) 2.408 kb
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
1
2 ## tags for binaries
3
4 <scripts/coqmktop.{native,byte}> : use_str, use_unix, use_gramlib
6a14070 ocamlbuild improvements + minor makefile fix
letouzey authored
5 <scripts/coqc.{native,byte}> : use_unix, use_gramlib
6 <tools/coqdep_boot.{native,byte}> : use_unix
7 <tools/coqdep.{native,byte}> : use_unix, use_gramlib
8 <tools/coq_tex.{native,byte}> : use_str
9 <tools/coq_makefile.{native,byte}> : use_str
10 <tools/coqdoc/main.{native,byte}> : use_str
058c05c ocamlbuild: coqide, coqchk, a bit of .vo
letouzey authored
11 <checker/main.{native,byte}> : use_str, use_unix, use_gramlib
c046b33 Fix the build of coq via ocamlbuild
letouzey authored
12 <plugins/micromega/csdpcert.{native,byte}> : use_nums, use_unix
9763581 A script mkwinapp.ml borrowed from project OCaml-Win32 to make consol…
letouzey authored
13 <tools/mkwinapp.{native,byte}> : use_unix
058c05c ocamlbuild: coqide, coqchk, a bit of .vo
letouzey authored
14
15 ## tags for ide
16
17 <ide/**/*.{ml,mli}>: thread, ide
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
18
c046b33 Fix the build of coq via ocamlbuild
letouzey authored
19 ## tags for grammar.cm*
20
21 <parsing/grammar.{cma,cmxa}> : use_unix
22
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
23 ## tags for camlp4 files
24
25 <**/*.ml4>: is_ml4
26
27 "toplevel/mltop.ml4": is_mltop, use_macro
28
f132bc2 _tags: lexer.ml4 now uses pa_macro
letouzey authored
29 "parsing/lexer.ml4": use_macro
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
30 "lib/compat.ml4": use_macro
45b27e6 Use camlp4 to accept some specific non-exhaustive patterns in groebner
letouzey authored
31 "lib/refutpat.ml4": use_extend, use_MLast
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
32 "parsing/g_xml.ml4": use_extend
33 "parsing/q_constr.ml4": use_extend, use_MLast
34 "parsing/argextend.ml4": use_extend, use_MLast
35 "parsing/tacextend.ml4": use_extend, use_MLast
36 "parsing/g_prim.ml4": use_extend
37 "parsing/g_ltac.ml4": use_extend
38 "parsing/pcoq.ml4": use_extend, use_macro
39 "parsing/q_util.ml4": use_MLast
40 "parsing/vernacextend.ml4": use_extend, use_MLast
41 "parsing/g_constr.ml4": use_extend
42 "parsing/g_tactic.ml4": use_extend
43 "parsing/g_proofs.ml4": use_extend
44 "parsing/q_coqast.ml4": use_MLast, use_macro
45
46 "toplevel/whelp.ml4": use_grammar
47 "parsing/g_vernac.ml4": use_grammar, use_extend
48 "parsing/g_decl_mode.ml4": use_grammar, use_extend, use_MLast
49 "tactics/extraargs.ml4": use_grammar
50 "tactics/extratactics.ml4": use_grammar
51 "tactics/class_tactics.ml4": use_grammar
52 "tactics/eauto.ml4": use_grammar
53 "tactics/tauto.ml4": use_grammar
54 "tactics/eqdecide.ml4": use_grammar
55 "tactics/hipattern.ml4": use_grammar, use_constr
e285c44 ocamlbuild: tags for new file tactics/rewrite.ml4
letouzey authored
56 "tactics/rewrite.ml4": use_grammar
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
57
18cb785 Backport from trunk to 8.3 of modifications on groebner/nsatz
herbelin authored
58 <plugins/**/*.ml4>: use_grammar
6ded551 Ocamlbuild: two minor fixes
letouzey authored
59 "plugins/subtac/g_subtac.ml4": use_extend
18cb785 Backport from trunk to 8.3 of modifications on groebner/nsatz
herbelin authored
60
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
61 ## sub-directory inclusion
62
058c05c ocamlbuild: coqide, coqchk, a bit of .vo
letouzey authored
63 # Note: "checker" is deliberately not included
301d6bf ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)
letouzey authored
64 # Note: same for "config" (we create a special coq_config.ml)
058c05c ocamlbuild: coqide, coqchk, a bit of .vo
letouzey authored
65
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
66 "parsing": include
67 "ide": include
058c05c ocamlbuild: coqide, coqchk, a bit of .vo
letouzey authored
68 "ide/utils": include
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
69 "interp": include
70 "kernel": include
71 "kernel/byterun": include
72 "lib": include
73 "library": include
74 "parsing": include
75 "plugins": include
76 "pretyping": include
77 "proofs": include
78 "scripts": include
79 "states": include
80 "tactics": include
81 "theories": include
82 "tools": include
6a14070 ocamlbuild improvements + minor makefile fix
letouzey authored
83 "tools/coqdoc": include
dffb615 Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey authored
84 "toplevel": include
18cb785 Backport from trunk to 8.3 of modifications on groebner/nsatz
herbelin authored
85
86 <plugins/**>: include
Something went wrong with that request. Please try again.