diff options
| author | letouzey | 2010-02-16 14:16:16 +0000 |
|---|---|---|
| committer | letouzey | 2010-02-16 14:16:16 +0000 |
| commit | f6181d3db8b317d2243eec9a26da3653753b4a1c (patch) | |
| tree | 7e9ea1f42b03a013ea57810e1f11112857b99bab | |
| parent | 86465afdd668759afc3d57d9feebe26d07dd6a4b (diff) | |
Makefile: also install the .cmi of plugins
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12776 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 7d63e33b0c..ee926cfa45 100644 --- a/Makefile.build +++ b/Makefile.build @@ -575,7 +575,7 @@ install-library: $(INSTALLSH) $(FULLCOQLIB) $(CONFIG) $(LINKCMO) $(GRAMMARCMA) # reconstitute the list of core .cmi $(INSTALLSH) $(FULLCOQLIB) $(CONFIG:.cmo=.cmi) \ - `cat $(CORECMA:.cma=.mllib.d) | tr ' ' '\n' | sed -n -e "/\.cmo/s/\.cmo/\.cmi/p"` + `cat $(CORECMA:.cma=.mllib.d) $(PLUGINSCMA:.cma=.mllib.d) | tr ' ' '\n' | sed -n -e "/\.cmo/s/\.cmo/\.cmi/p"` ifeq ($(BEST),opt) $(INSTALLLIB) $(LIBCOQRUN) $(FULLCOQLIB) $(INSTALLSH) $(FULLCOQLIB) $(CONFIG:.cmo=.cmx) $(CONFIG:.cmo=.o) $(LINKCMO:.cma=.cmxa) $(LINKCMO:.cma=.a) |