coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq_makefile and the -q option

From: Jonathan Leivent <jonikelee AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] coq_makefile and the -q option
Date: Mon, 1 Aug 2016 16:16:45 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk0-f171.google.com
Ironport-phdr: 9a23:C6LyFh0A5ggs5WensmDT+DRfVm0co7zxezQtwd8ZsegQIvad9pjvdHbS+e9qxAeQG96Ks7Qb1qGP7/uocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQsiN0o/ui7v60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9ZLuh5dsPM59sNGTb6yP+FhFeQZX3waNDUe49Sjnh3eR0Pb7XwFF24SjxBgAg7f7Ri8UI2n4QXgse8o+i6cNNH2RLZ8fTmj8aptVFe8iiABNj009GzaosN1haNf5hmmokoskMbvfIiJOa8mLevmdtQASD8EB54JWg==

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