diff options
Diffstat (limited to 'Makefile.build')
-rw-r--r-- | Makefile.build | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build index 35b7d429e..3cea8b8a4 100644 --- a/Makefile.build +++ b/Makefile.build @@ -602,6 +602,14 @@ install-tools:: cp tools/coqdoc/coqdoc.css tools/coqdoc/coqdoc.sty $(FULLCOQLIB)/tools/coqdoc cp $(TOOLS) $(FULLBINDIR) +GRAMMARCMA=parsing/grammar.cma +OBJECTCMA=lib/lib.cma kernel/kernel.cma library/library.cma \ + pretyping/pretyping.cma interp/interp.cma proofs/proofs.cma \ + parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma \ + parsing/highparsing.cma tactics/hightactics.cma contrib/contrib.cma + +OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa) + install-library: $(MKDIR) $(FULLCOQLIB) for f in $(LIBFILES); do \ @@ -611,6 +619,7 @@ install-library: $(MKDIR) $(FULLCOQLIB)/states cp states/*.coq $(FULLCOQLIB)/states $(MKDIR) $(FULLCOQLIB)/user-contrib + cp $(OBJECTCMA) $(OBJECTCMXA) $(GRAMMARCMA) $(FULLCOQLIB) install-library-light: $(MKDIR) $(FULLCOQLIB) |