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: mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>, "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: Tue, 5 Jun 2018 07:15:29 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.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 mga05.intel.com
Ironport-phdr: 9a23:LrOk4B2W52mWSlYPsmDT+DRfVm0co7zxezQtwd8ZseIeIvad9pjvdHbS+e9qxAeQG9mDtrQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYwhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiDkJOSMl8G/ZicJwgqBUoBO9qBNw2IPbep2ZOf5kc6/BYd8XR2xMVdtRWSxbBYO8apMCA+QcM+ZfsYb9qEcOrQG5BQm0HO/k1zhGhn7q0q06yesuDwXG0AI9FN8JtXTUrcn6NKcIXu+ryKnE1y7Db/RI1jfy9IjIaBchoemXULJxd8rR1VcgFwffglqMrozlOiqY2+IQuGaV6OpgUPigi28hqwxpozivwNsshZfNho4P11/L6yN0y5s2K92gUEN3fNqpHIVKuyyaN4Z6WMMvT39ytCs1xLAKoYO3cSkExZg9yRPSZeaLf5aG7x/nTuqdPDR1iG59dL6ihhu/9VKsxvP8W8S7ylpGsDBJnsTDu30M0RHY99KJReFn/ki73DaCzwDT5f9AIUAzjafbLpEhzaQsmpcTq0jDHyn2mFnog6+SbEkr5u+o6+H/brXnoJ+TKZN0hxnjPqkqhMCzG+Q1PwgUU2Wb5+iwzrLu8EPhTLVPlPI2k63ZsJ7AJcQco660GwpV0oc/5Ba/FTipztAYkWMcLFJCZh2HgJTpO0vJIPDgFvq/glKskCt1yPDCJLHuHpLNLn3bnLf7Ybl981JcyBY0zd1H+51UDagBLOvvVU/1qdzXFQQ0Mxe0wubiENVyzJkSWWOJAq+DMaPdq0WE5uw1I7rEWIhAvSv+JuMlr+LvknYjmBdJeLSq0IAXdHGnF+5nZUSYYGbpqtgEGGYO+AE5SbquwBeJVicWbHKvVYo94Cs6AcSoF82LEouqmfmK2DqxNpxQfGFPTF6WRyTGbYKBDr03by+dPtVminhMcLmqS4Ys0Vvm4Ar7wLpuI+6S4SoVuo7508Bd5uvPmBV0/jtxWZfOm1qRRn15yztbDwQ927py9BQkmwWzlJNgivkdLuR9ovZAUwM0L5nZlrUoCtbuVwaHddCMGg//HoeWRAopR9d0+OcgJl5nEoz73BHFwyeuRbQSku7TXcFmwufnx3H0Yv1F5TPG2a0m1gZ0R8RGbTDgh6hj+gyVDInMwR2U

Dear Mukesh,

thanks, but I guess it is a Windows specific problem – maybe just the file extension (.exe), maybe more.

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