diff options
| author | glondu | 2008-08-16 21:16:05 +0000 |
|---|---|---|
| committer | glondu | 2008-08-16 21:16:05 +0000 |
| commit | 22739b29af99bc06c1d63003853650df5de47f8f (patch) | |
| tree | 4a75d36747473c6456d16de3edec310b93291874 /Makefile.build | |
| parent | a3f08185150e8ae0ce00e142edfcf7009f126e93 (diff) | |
Install csdpcert with libraries
csdpcert is not meant to be called directly by the user
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11327 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/Makefile.build b/Makefile.build index d4e021d431..0475865c04 100644 --- a/Makefile.build +++ b/Makefile.build @@ -361,11 +361,11 @@ contrib/contrib.cmxa: $(CONTRIB:.cmo=.cmx) ########################################################################### ifeq ($(BEST),opt) -bin/csdpcert$(EXE): $(CSDPCERTCMX) +contrib/micromega/csdpcert$(EXE): $(CSDPCERTCMX) $(SHOW)'OCAMLOPT -o $@' $(HIDE)$(OCAMLOPT) $(OPTFLAGS) nums.cmxa -o $@ $(CSDPCERTCMX) else -bin/csdpcert$(EXE): $(CSDPCERTCMO) +contrib/micromega/csdpcert$(EXE): $(CSDPCERTCMO) $(SHOW)'OCAMLC -o $@' $(HIDE)$(OCAMLC) -custom $(BYTEFLAGS) nums.cma -o $@ $(CSDPCERTCMO) endif @@ -630,12 +630,12 @@ install-binaries:: install-$(BEST) install-tools install-byte:: $(MKDIR) $(FULLBINDIR) - $(INSTALLBIN) $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(CSDPCERT) $(FULLBINDIR) + $(INSTALLBIN) $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(FULLBINDIR) cd $(FULLBINDIR); ln -sf coqtop.byte$(EXE) coqtop$(EXE) install-opt:: $(MKDIR) $(FULLBINDIR) - $(INSTALLBIN) $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(COQTOPOPT) $(CSDPCERT) $(FULLBINDIR) + $(INSTALLBIN) $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(COQTOPOPT) $(FULLBINDIR) cd $(FULLBINDIR); ln -sf coqtop.opt$(EXE) coqtop$(EXE) install-tools:: @@ -660,6 +660,10 @@ ifeq ($(BEST),opt) $(INSTALLLIB) $(LINKCMX) $(FULLCOQLIB) endif find . -name \*.cmi -exec $(INSTALLLIB) {} $(FULLCOQLIB) \; + # csdpcert is not meant to be directly called by the user; + # we install it with libraries + -$(MKDIR) -p $(FULLCOQLIB)/contrib/micromega + $(INSTALLBIN) $(CDSPCERT) $(FULLCOQLIB)/contrib/micromega install-library-light: $(MKDIR) $(FULLCOQLIB) |