From a5891b65557e35477a8a560b433deaca0f5ffdd5 Mon Sep 17 00:00:00 2001 From: bertot Date: Mon, 2 Feb 2004 11:25:04 +0000 Subject: reorganize the order of librairies in the entry CMO to make sure this can be used as a reference to know in which order the libraries should be loaded git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5278 85f007b7-540e-0410-9357-904b9bb8a0f7 --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 9ecc26407..60b4e296b 100644 --- a/Makefile +++ b/Makefile @@ -296,11 +296,14 @@ CONTRIB=$(OMEGACMO) $(ROMEGACMO) $(RINGCMO) $(FIELDCMO) \ CMA=$(CLIBS) $(CAMLP4OBJS) CMXA=$(CMA:.cma=.cmxa) +# Beware that highparsingnew.cma should appear before hightactics.cma +# respecting this order is useful for developers that want to load or link +# the libraries directly CMO=$(CONFIG) lib/lib.cma kernel/kernel.cma library/library.cma \ pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma \ proofs/proofs.cma tactics/tactics.cma toplevel/toplevel.cma \ - parsing/highparsing.cma tactics/hightactics.cma \ - contrib/contrib.cma parsing/highparsingnew.cma + parsing/highparsing.cma parsing/highparsingnew.cma tactics/hightactics.cma \ + contrib/contrib.cma CMOCMXA=$(CMO:.cma=.cmxa) CMX=$(CMOCMXA:.cmo=.cmx) -- cgit v1.2.3