diff options
| author | Pierre-Marie Pédrot | 2014-03-07 14:57:25 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-07 16:45:05 +0100 |
| commit | 08926d6bb3d38e3be0f79d1461b6e435260abb69 (patch) | |
| tree | 428054ff0b193426cd1579869721d4592d7c9ebe | |
| parent | d692c5dc034778a1d97ace593c9a3658a44e698b (diff) | |
Compiling coqc in "tools" target.
| -rw-r--r-- | Makefile.common | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index ceafbf474a..41b45d97e8 100644 --- a/Makefile.common +++ b/Makefile.common @@ -53,7 +53,7 @@ endif BESTOBJ:=$(if $(OPT),.cmx,.cmo) BESTLIB:=$(if $(OPT),.cmxa,.cma) -COQBINARIES:= $(COQMKTOP) $(COQC) \ +COQBINARIES:= $(COQMKTOP) \ $(COQTOPBYTE) $(COQTOPEXE) \ $(CHICKENBYTE) $(CHICKEN) @@ -99,7 +99,7 @@ COQTEX:=bin/coq-tex$(EXE) COQWC:=bin/coqwc$(EXE) COQDOC:=bin/coqdoc$(EXE) -TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) +TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) $(COQC) ########################################################################### # Documentation |