diff options
| author | herbelin | 2001-08-01 08:04:04 +0000 |
|---|---|---|
| committer | herbelin | 2001-08-01 08:04:04 +0000 |
| commit | 8ed42a26a1b90cf2094c5f78642bf8f81b819620 (patch) | |
| tree | ba0e7ab8ea0f4040afd3066e42f6af764d9a5669 | |
| parent | dd3b379905403070b8e0cea0720328419ef42a12 (diff) | |
Ajout profile dans PARSERREQUIRE, nécessaire si certaines fonctions d'un des autres fichiers de PARSERREQUIRE est profilé
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1867 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -160,8 +160,8 @@ INTERFACE=contrib/interface/vtp.cmo contrib/interface/xlate.cmo \ PARSERREQUIRES=lib/pp_control.cmo lib/pp.cmo \ lib/util.cmo lib/dyn.cmo lib/gmap.cmo lib/gmapl.cmo \ - lib/hashcons.cmo library/libobject.cmo library/summary.cmo \ - kernel/names.cmo \ + lib/hashcons.cmo lib/profile.cmo library/libobject.cmo \ + library/summary.cmo kernel/names.cmo \ parsing/lexer.cmo parsing/coqast.cmo \ parsing/pcoq.cmo parsing/ast.cmo \ parsing/g_prim.cmo parsing/g_basevernac.cmo \ @@ -840,4 +840,3 @@ clean:: include .depend include .depend.coq - |