diff options
| author | letouzey | 2010-03-05 18:24:00 +0000 |
|---|---|---|
| committer | letouzey | 2010-03-05 18:24:00 +0000 |
| commit | 6b010da9faf1c4d1b214505daf8ecf9ea6afbd33 (patch) | |
| tree | cb135730da461121f7c966b94a78796700f76b64 /kernel/type_errors.mli | |
| parent | a74da602dfcd44bb643b29ce2f5552cf39659173 (diff) | |
Makefile: some more cleanup
- avoid recomputing CAMLP4DEPS in the %.ml:%.ml4 rule
- a macro for compiling the tools by the best ocaml compiler
- use of $(if ...) rather that $ifdef
- some variables of Makefile.common were not that useful
(e.g. $(COQCCMX), which is $(COQCCCMO:.cmo=.cmx), used only once)
- the build of coqc.* should not depend upon coqtop, only its launch
(or I'm missing something)
- useless $(CAMLP4EXTENDFLAGS) variable
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12846 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions