coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq_makefile using subdirectories

From: Gyesik Lee <leegys AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] coq_makefile using subdirectories
Date: Wed, 22 Feb 2012 15:47:00 +0900
Authentication-results: mr.google.com; spf=pass (google.com: domain of leegys AT gmail.com designates 10.68.216.132 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 using subdirectories, Gyesik Lee