coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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