From 8ed42a26a1b90cf2094c5f78642bf8f81b819620 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 1 Aug 2001 08:04:04 +0000
Subject: 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
---
 Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index ea9978589b..ef68355b1e 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-
-- 
cgit v1.2.3