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: Jason Gross <jasongross9 AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Where to put csdp executable so that psatz finds it?
Date: Mon, 4 Jun 2018 00:15:03 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jasongross9 AT gmail.com; spf=Pass smtp.mailfrom=jasongross9 AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk0-f174.google.com
Ironport-phdr: 9a23:U2HIRBHL0wXDW48bfoGFB51GYnF86YWxBRYc798ds5kLTJ78osuwAkXT6L1XgUPTWs2DsrQY07eQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDqwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KODE38G7VisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAe4bMuZDqIn9oUYFoxqkBQmrH+Pv0SJDi3j03aIgyOQhFgfG3AM6H9IJq3TUt9H4ObwdUeCw1qbIzDHDY+lK1jf67YjFaxYsquyCU7J3dMre00gvFwXdg1WfrozlODyV1uATvGSB8+VgUuevh3YmqwF3vjig2MMshpPUiY0LzF3P6CZ3wJ4tKNGmVEJ2ZcSoHZhQui2AKYd6XN8uT3t1tCs4xbALv4OwcjIQx5Q93RHfbuSKc4iW7RLnU+acOTJ4i2hkeLK7nhqy6EugxvHlWsm6zVpHrCVInsPDtnAK0BzT5cyHReVn8ki93jaP0hjf6uBCIU8qiarWM4AtzqI0m5YJsknOHjX6lFvogKOKbEko5+ql5uv/brXjvJCcNot0ig/kMqQpn8yyGeY4PRIVX2ic/+S826fj/UriQLVRivA7iabZsJXAKsQaoq61GRNa0oEm6xqnFTepzMwYnWUbLFJCYB+Ik4/pO0jXLP/kCfe/nk+jnSxwx/HGO73hGo/CImLCkLfnZ7Z96lRTxBA9zdBFtNpoDeQKJ+u2UUvsvvTZCAU4Okq62bXJEtJ4g6EXQmWJSoCDN7jJ+QuK7/koJeaWY5QO6R7yLvEk47jlinpvygxVRrWgwZZCMCPwJf9hOUjMOSO90OdEKn8Du08FdMKvjVSDVTBJYHPrBvAz4zg6DMStCoKRH9nx0ozE5z+yG9htXk4DEkqFSC66eICNWvNKYyWXcJc4z240EIO5Qopk7imA8Q/3z709cLjR8ywc8IvgjJ17vrKP0x418jNwAoKW1GTfF2w=

What happens if you copy rather than move (so you have both csdp and csdp.exe)?

On Sun, Jun 3, 2018, 3:32 AM Soegtrop, Michael <michael.soegtrop AT intel.com> wrote:

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