diff options
| author |  glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-09-06 03:42:42 +0000 |
|---|---|---|
| committer | glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-09-06 03:42:42 +0000 |
| commit | 6ccc690a6e3e1754392683afd8e4086c49441942 (patch) | |
| tree | c6bf498904dcd1f3d497a993d11af6695e78086b /Makefile | |
| parent | a353947b5c7645ccc6576bad0124ef6cca358001 (diff) | |
Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles
The environment variable COQTOP has a different meaning for Coq
executables and for Coq Makefiles, which is troublesome when make
forwards it to subprocesses via the environment.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11366 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -176,7 +176,7 @@ docclean: archclean: clean-ide cleantheories rm -f $(COQTOPOPT) $(BESTCOQTOP) $(COQC) $(COQMKTOP) - rm -f $(COQTOP) $(COQCOPT) $(COQMKTOPOPT) + rm -f $(COQTOPEXE) $(COQCOPT) $(COQMKTOPOPT) rm -f bin/coq-parser.opt$(EXE) bin/coq-interface.opt$(EXE) find . -name '*.cmx' -or -name '*.cmxa' -or -name '*.[soa]' | xargs rm -f rm -f $(TOOLS) |