From 22739b29af99bc06c1d63003853650df5de47f8f Mon Sep 17 00:00:00 2001
From: glondu
Date: Sat, 16 Aug 2008 21:16:05 +0000
Subject: 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
---
 contrib/micromega/coq_micromega.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'contrib')

diff --git a/contrib/micromega/coq_micromega.ml b/contrib/micromega/coq_micromega.ml
index 847ae7baa6..890671ab5d 100644
--- a/contrib/micromega/coq_micromega.ml
+++ b/contrib/micromega/coq_micromega.ml
@@ -1294,8 +1294,8 @@ let call_csdpcert provername poly =
   output_value ch_to (provername,poly : provername * micromega_polys);
   close_out ch_to;
   let cmdname =
-    Filename.concat Coq_config.bindir
-      ("csdpcert" ^ Coq_config.exec_extension) in
+    List.fold_left Filename.concat Coq_config.coqlib
+      ["contrib"; "micromega"; "csdpcert" ^ Coq_config.exec_extension] in
   let c = Sys.command (cmdname ^" "^ tmp_to ^" "^ tmp_from) in
   (try Sys.remove tmp_to with _ -> ());
   if c <> 0 then Util.error ("Failed to call csdp certificate generator");
-- 
cgit v1.2.3