coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] -o option has stopped working for directories

From: Chris Dams <chris.dams.nl AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] -o option has stopped working for directories
Date: Mon, 7 May 2018 16:13:18 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=chris.dams.nl AT gmail.com; spf=Pass smtp.mailfrom=chris.dams.nl AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f47.google.com
Ironport-phdr: 9a23:BKbblReB/74NhXIc7H5eNAcwlGMj4u6mDksu8pMizoh2WeGdxcu6Yx7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM38G/ZhM9tgqxFvB2svAZwz5LObYyPKPZyYqHQcNUHTmRBRMZRUClBD5uiYosPFeoBPP1YpJTzqVQUqBu+HhSnCeTzxT9InH/23LY63/48Hg7c2QwgBMgCsHLQrNjuO6cSVPq6zKjMzTnZc/xW3jL95ZHOfxs8ov+MRap9fdTNxUQrDQ/IjVWdpZb7Mz+I1ekBqWeW4uhmWOmykWAosRtxrSKqxso0ionGmIYVylfc+CV82ok1JNm4RFd8Yd6lDJdcri+aOoR0T884TGFovyE6yrICuZGlZiQF1JMnxxvHZ/yGdYiH/A7jWf6PLTtkgH9pYrGyihao/US+1+HxVdO43VlIoyZdl9nDrHEN1xjd6sidTft9+1+s1iqP1wDJ6+FEOlo4mrfBJJ4k2b48jJwTsUDYEy/5nUX5lq6WdkE+9ue07OTnZ63qpoWAOI9slgH+LqMul9SjDuQ/KwgCRnSU+eCh1LL45kD5W7VLjvgukqbDqpzaJMIbprS4AwBPyIoj5Qy/XH+a14ETmmBCJ1ZYclrThI/wflrKPfrQDPGlgl3qni09lN7cObi0KZXXL2OLvL7kZv4p4E5GyRF1wdla/NRSDpkOJfvyXgn6s9mOXUxxCBC93+uyUIY17YgZQ2/aWvbIYpOXikeB46cUG8fJYYYUvDjnLP18vqzhiHY4nRkWeqz7hMJLOkD9JexvJgCiWVSpms0ISD5YsQ83Teisg1qHA2YKOiSCGpkk7zR+M7qISIfOQof33e6E1Sa/W5pXPiVIVg/KHnDveIGJHfwLbXDKLw==

Dear all,

Since I updated to coq 8.8.0, the -o option is no longer working like it used to. I am using this option to have a separate build directory, so my Makefile produces a command like

coqc -R . Lib -o build/directory/file.vo directory/file.v. This used to work but this is no longer the case. Instead it creates file.vo in the same directory as file.v.

Kind Regards,

Chris

[Coq-Club] -o option has stopped working for directories, Chris Dams, 05/07/2018
- Re: [Coq-Club] -o option has stopped working for directories, Théo Zimmermann, 05/07/2018
  - Re: [Coq-Club] -o option has stopped working for directories, Chris Dams, 05/07/2018