diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-17 22:39:26 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-17 22:39:26 +0000 |
| commit | a4b676747b6d0390b882f1fcf8f3c394e4b916c6 (patch) | |
| tree | 54f44e64a4395a345d634b943e6774d43ca14df8 | |
| parent | 092525e3a71a59292e219492774a5aef21856518 (diff) | |
Makefile.build: CONFIG is now in clib
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15909 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile.build | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 149c81ab8..68c2a0bbc 100644 --- a/Makefile.build +++ b/Makefile.build @@ -609,7 +609,6 @@ install-tools:: # from .mli without .ml, and the ones obtained from .ml without .mli INSTALLCMI = $(sort \ - $(CONFIG:.cmo=.cmi) \ $(filter-out checker/% ide/% tools/%, $(MLIFILES:.mli=.cmi)) \ $(foreach lib,$(CORECMA) $(PLUGINSCMA), $(addsuffix .cmi,$($(lib:.cma=_MLLIB_DEPENDENCIES))))) @@ -620,7 +619,7 @@ install-devfiles: $(INSTALLSH) $(FULLCOQLIB) $(LINKCMO) $(GRAMMARCMA) $(INSTALLSH) $(FULLCOQLIB) $(INSTALLCMI) ifeq ($(BEST),opt) - $(INSTALLSH) $(FULLCOQLIB) $(LINKCMX) $(CONFIG:.cmo=.o) $(CORECMA:.cma=.a) $(STATICPLUGINS:.cma=.a) + $(INSTALLSH) $(FULLCOQLIB) $(LINKCMX) $(CORECMA:.cma=.a) $(STATICPLUGINS:.cma=.a) endif install-library: |