coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top"

From: Ralf Jung <jung AT mpi-sws.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top"
Date: Sat, 5 Mar 2016 10:44:04 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jung AT mpi-sws.org; spf=Pass smtp.mailfrom=jung AT mpi-sws.org; spf=None smtp.helo=postmaster AT hera.mpi-klsb.mpg.de
Ironport-phdr: 9a23:uhzFGx9t4RMxjf9uRHKM819IXTAuvvDOBiVQ1KB90OscTK2v8tzYMVDF4r011RmSDdqdtK0P0rGH+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU0Jv8jrvjs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLVry/dKAlR5RZCi4nOiY7/p7Frx7GGDGG4nVUcHgQnVIcARXD4zn/Rpa0qTTh8O1n13/JboXNUbkoVGH6vO9QQxjyhXJfOg==

Hi all,

> For my projects, I use a generic Makefile that generates a Coq Makefile
> from the _CoqProject file as follows:

Here's an improved version of the Makefile which does not break building
individual files with "make dir/name.vo", and other targets provided by
the Coq Makefile:

----------------------------
all: Makefile.coq
+make -f Makefile.coq all

clean: Makefile.coq
+make -f Makefile.coq clean
rm -f Makefile.coq

Makefile.coq: _CoqProject
coq_makefile -f _CoqProject -o Makefile.coq

%: Makefile.coq
+make -f Makefile.coq $@

.PHONY: all clean
----------------------------

Kind regards,
Ralf

Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Ralf Jung, 03/05/2016