diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-09-18 16:13:36 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-09-18 16:13:36 +0000 |
| commit | 3386a50c15ddc367cd247f288ff84f288a0c42af (patch) | |
| tree | 7d4766470bb2cd4436afd1dd38372e9555ff7208 /Makefile | |
| parent | 6f79401e9d1a3d632a84b6087c429ee217db0d2a (diff) | |
module Library
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@74 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -10,13 +10,13 @@ noargument: @echo " make cleanall" @echo or make archclean -INCLUDES=-I config -I lib -I kernel -I library -I parsing -I toplevel \ - -I $(CAMLP4LIB) +LOCALINCLUDES=-I config -I lib -I kernel -I library -I parsing -I toplevel +INCLUDES=$(LOCALINCLUDES) -I $(CAMLP4LIB) BYTEFLAGS=$(INCLUDES) $(CAMLDEBUG) OPTFLAGS=$(INCLUDES) $(CAMLTIMEPROF) OCAMLDEP=ocamldep -DEPFLAGS=$(INCLUDES) +DEPFLAGS=$(LOCALINCLUDES) CAMLP4EXTEND=camlp4o $(INCLUDES) pa_extend.cmo OCAMLC_P4O=$(OCAMLC) -pp camlp4o $(BYTEFLAGS) @@ -42,7 +42,7 @@ KERNEL=kernel/names.cmo kernel/generic.cmo kernel/univ.cmo kernel/term.cmo \ kernel/typing.cmo LIBRARY=library/libobject.cmo library/summary.cmo library/lib.cmo \ - library/global.cmo library/states.cmo + library/global.cmo library/states.cmo library/library.cmo PARSING=parsing/lexer.cmo parsing/coqast.cmo parsing/pcoq.cmo parsing/ast.cmo \ parsing/g_prim.cmo parsing/g_basevernac.cmo parsing/g_vernac.cmo \ |