coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jason Gross <jasongross9 AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] coq_makefile and the -q option
- Date: Tue, 02 Aug 2016 07:53:21 +0000
- Authentication-results: mail3-smtp-sop.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-oi0-f52.google.com
- Ironport-phdr: 9a23:FHiIXBV4VYBwgGiWzGBvK+jSHWTV8LGtZVwlr6E/grcLSJyIuqrYZhKCt8tkgFKBZ4jH8fUM07OQ6PG4HzNeqs/b6TgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLHqvcKNKFwS3XKUWvBbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCCI/zM3Vngc2k5DBBGA5xXnVL/wtDH7v6xzwn/JE9fxSOUWUC+l6e9EUhjzk29TNTci92fYkMtrl/Nzrxeophg5yInRNtLGfMFid7/QKItJDVFKWdxcAmkYWtux
Makefiles should be portable. A Makefile that only works on your machine is not very useful. Consider instead having an extra file, maybe Settings.v, which you build with a separate Makefile, and pass -require MyProject.Settings along to your build process.
On Mon, Aug 1, 2016, 1:17 PM Jonathan Leivent <jonikelee AT gmail.com> wrote:
Why do Makefiles generated via coq_makefile pass -q to coqc?
If a user decides they want to use a resource file (one that for example
Adds to the LoadPath), how do they configure coq_makefile to use it?
-- Jonathan
- [Coq-Club] coq_makefile and the -q option, Jonathan Leivent, 08/01/2016
- Re: [Coq-Club] coq_makefile and the -q option, Jason Gross, 08/02/2016
- Re: [Coq-Club] coq_makefile and the -q option, Jonathan Leivent, 08/02/2016
- Re: [Coq-Club] coq_makefile and the -q option, Jason Gross, 08/02/2016
- Re: [Coq-Club] coq_makefile and the -q option, Jonathan Leivent, 08/02/2016
- Re: [Coq-Club] coq_makefile and the -q option, Jason Gross, 08/02/2016
- Re: [Coq-Club] coq_makefile and the -q option, Jonathan Leivent, 08/02/2016
- Re: [Coq-Club] coq_makefile and the -q option, Jason Gross, 08/02/2016
Archive powered by MHonArc 2.6.18.