Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] coq_makefile and the -q option

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coq_makefile and the -q option


Chronological Thread 
  • 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





Archive powered by MHonArc 2.6.18.

Top of Page