coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Where to put csdp executable so that psatz finds it?

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Where to put csdp executable so that psatz finds it?
Date: Sun, 3 Jun 2018 07:31:58 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga01.intel.com
Ironport-phdr: 9a23:FmsOnhROPsmsGgQLjY2sXlHOn9psv+yvbD5Q0YIujvd0So/mwa6yYBCN2/xhgRfzUJnB7Loc0qyK6/2mATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfbN/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/mHJhMJtkKJVrhGvpxJ9zI7VfI6aO/Vwc7jBfdMDQWdNQtpdWzBfDo66coABD/ABPeFdr4TlqVcAsBy+ChejBOPz0D9IgWf20bUn2OomEAHJwAwgEMgQv3TQotn+KaAfUeW0zKbUzTXMde1Z2TPn5IjTdRAuv/6MXa5qccrW0UkiDALFjlOMqYP7OzOZzPgCs2+e7+d5U++klmApqwZ0oje1x8csjJHEhoMTylDY6yp5xJw5KsCmR0N9fNWqE4NQujmHO4ZyXM8uWWFltSYgxrAGp5K3ZisHxZc/yxLCavGKfZKE7xztWeqLPzt1inZodKiiixux7ESs0vDwW8iw3VpQsCZIktbBumoT2xDJ98SKRfpw80G80jiVzQ/T8PtLIUUsmKrbNZEhxrkwm4IWsUTMBCD6hFj6gLWXdkUi5uin9eDnbq/6qZ+bMo94kgD+MqIwlcyjGek0LwwDU3aB9em81LDv5030TKtQgvA1kaTVqJXaKt4apq69DQ9VyIEj6xOnAjej0dQXgXkHI0hbdxKDlYTpIFbOL+73DfejmVSsly9ryuvHPr3nHpXCMHzDnK39crZ67k5Q0BAzwsxH55JIFrEBJ+r+VVP2tNzBFxM2Lwi0w/v8B9hmzYMfWWePAreDP6/IsF+I4PgvI+iWa4MPtjb9Matt2/m7x3Q+gBoWebSj9ZoRcnGxWPp8aQ3Nan31x9wFDG0ivwwkTeWshkfUAhBJYHPnFZk76z4nEoW+Sc/mR4utibGFlm/vG5xdZmlLDhaXFnrna5+DQ98Nbj6fJolqlTlSBuvpcJMoyRz77Fyy8LFgNOeBonRJ56Km78B84qjorT938DV1C8qH1GTUFjN1mH8FQ3k926Ut+BUhmGfG6rBxhrljLfIW/+lAC15oNJjAwug8ANf3CFqYI4W5DW2+S9DjOgkfC9I8x9hXPBR4FNz611bC2TanB/kekLnZXJE=

Dear Gaetan,

I am a bit in a hurry this morning, so I tried to simply rename csdp.exe into
csdp which apparently get me one step further. I now get:

"Uncaught exception Failure("command
\"C:\\bin\\Coq8.8.0/lib\\plugins\\micromega\\csdpcert.exe\" exited 1")."

The one forward slash in the path is not a problem - Windows can handle it.

Would you expect, that the fix you propose has a different effect than
renaming csdp.exe to csdp?

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Where to put csdp executable so that psatz finds it?, Soegtrop, Michael, 06/02/2018
- Re: [Coq-Club] Where to put csdp executable so that psatz finds it?, Gaëtan Gilbert, 06/02/2018
  - RE: [Coq-Club] Where to put csdp executable so that psatz finds it?, Soegtrop, Michael, 06/03/2018
    - Re: [Coq-Club] Where to put csdp executable so that psatz finds it?, Jason Gross, 06/04/2018
      - RE: [Coq-Club] Where to put csdp executable so that psatz finds it?, Soegtrop, Michael, 06/04/2018
- Re: [Coq-Club] Where to put csdp executable so that psatz finds it?, mukesh tiwari, 06/05/2018
  - RE: [Coq-Club] Where to put csdp executable so that psatz finds it?, Soegtrop, Michael, 06/05/2018