coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq_makefile including subdirectories

From: Gyesik Lee <gslee AT hknu.ac.kr>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] coq_makefile including subdirectories
Date: Wed, 22 Feb 2012 12:22:42 +0900
Authentication-results: mr.google.com; spf=pass (google.com: domain of leegys AT gmail.com designates 10.68.134.72 as permitted sender) smtp.mail=leegys AT gmail.com; dkim=pass header.i=leegys AT gmail.com

Hi,

would someone remind me of how to create Makefile such that all the dependent files in subdirectories or special directories can be automatically involved during compilation?

I tried to follow the instructions from the coq_makefile --help, but failed.

Any help would be appreciated.

Gyesik

[Coq-Club] coq_makefile including subdirectories, Gyesik Lee
- Re: [Coq-Club] coq_makefile including subdirectories, Pierre Boutillier
  - Re: [Coq-Club] coq_makefile including subdirectories, Gyesik Lee
  - Re: [Coq-Club] coq_makefile including subdirectories, Gyesik Lee
    - Re: [Coq-Club] coq_makefile including subdirectories, Pierre Boutillier
      - Re: [Coq-Club] coq_makefile including subdirectories, Gyesik Lee
- Re: [Coq-Club] coq_makefile including subdirectories, Jelle Herold