coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Chris Dams <chris.dams.nl AT gmail.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] organizing project files
- Date: Mon, 13 Jul 2020 06:42:55 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=chris.dams.nl AT gmail.com; spf=Pass smtp.mailfrom=chris.dams.nl AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi1-f172.google.com
- Ironport-phdr: 9a23:HpDDiBOnVKEGv7eTE2Ql6mtUPXoX/o7sNwtQ0KIMzox0Ivn5rarrMEGX3/hxlliBBdydt6sazbCJ+P6+ESxYuNDd6S1EKMQNHzY+yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQXjId4NKo8yBTFr3pJdu9LwW9kOU+fkwzz68ut/JNv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfCTQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhzkBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNUXTndDUMlMTSxMGoyzb4UNAOQBM+hWrJTzqUUSohalHwagGPnixyVUinPq36A31fkqHwHc3AwnGtIDqGrZrNXvNKcTSuC+0afGwi/Gb/NNxDzw75THchA7ofGNRrJ8a9fexlMqFwPelFmQr4jlMiia1uQIqWeb7u5gWfizhG4grgF8uz6izdojhYfVnIwa0EzE9Tlnz4YvI921UFB3bcKqHpZRtCyXKoR7TM0iTWx0uis21rkLtJy6cSUWxpkr2gPSZv+DfoaI/h/uVfidLCtliH9hZr+zmwq//0imx+bhVce0yE5HojRZntTIrHwA1Bze5tKaRvZ8/EqtwyuD2gLN5uxCPEs6j7DUK4Q7zb41jpcTsVrMHivxmEjuia+ZbEQk+uyx5+TgY7Xqu4aQN4Fphgz8LKgigMO/AeM/MggBW2iU5/6w26Hk/U38WLlKj/s2nbfFsJ3CO8gXuqq0DxVW34sj8RqzEjar3dYCkXUaLl9JZgqLj43zNFHPJPD4A+2/g1OpkDpz2//GPqfhApTWLnTZjbjuZ7N961VGxAo1ydBS/J1UCrQbL/LyXk/9rsDXDhg8MwCs2eboFM191p8CWWKIGqKWLKTSsUaR6u0zJ+mMeZQatS3mK/kl4v7ulWU2lUUcfamvx5sXaWq3Eu5oI0WDMjLQhYIKFn5PtQ4jRqS+g1qbFDVXenyaXqQm5zh9BpjwXqnZQYX4q7yb3TzzMpRTfSgSAVCWEGyue4yBQLEKbAqdJ8ZglnoPUr33GNxp7g2nqAKvk+kvFeHT4CBN7cu/hugw3PXakFQJzRIxF96UijjfQGR9n2dOTDgzjvgm/B5Nj2yb2K09uMR2UNxe4/QTDFU/PJ/Yiut7UpX8A12bONiOT1miT5OtBjRjFotgke9LWF50HpCZtj6G2iOrB7EPkLnSXc4796vd2z76IMMvkns=
Hello Erkki,
I have a Makefile for this purpose. The files that are build end up in the 'build' directory. Contents is below. Coqide does not always work optimally with this, though. It seems to like the aux files in the same directory sometimes. But it does not prevent you from editing with coqide. Sometimes one just has to press the down error twice to make it start compiling.
Good luck,
Chris
target: build/redblack/redblack.vo
SRC = "$(shell" ls */*.v)
ifneq ($(MAKECMDGOALS), clean)
-include $(addprefix build/,$(SRC:.v=.d))
endif
target:
@echo succeeded building $^
build/%.d: %.v
@echo coqdep $<
@coqdep -R . Lib $< | sed 's/\([a-zA-Z0-9\/_]*.vo\)/build\/\1/g' > $@
build/%.vo: %.v
@echo coqc $<
@coqc -R . Lib -o $@ $<
clean:
rm -f build/*/*.vo build/*/*.glob build/*/*.d build/*/.*.aux
SRC = "$(shell" ls */*.v)
ifneq ($(MAKECMDGOALS), clean)
-include $(addprefix build/,$(SRC:.v=.d))
endif
target:
@echo succeeded building $^
build/%.d: %.v
@echo coqdep $<
@coqdep -R . Lib $< | sed 's/\([a-zA-Z0-9\/_]*.vo\)/build\/\1/g' > $@
build/%.vo: %.v
@echo coqc $<
@coqc -R . Lib -o $@ $<
clean:
rm -f build/*/*.vo build/*/*.glob build/*/*.d build/*/.*.aux
- [Coq-Club] organizing project files, Erkki Luuk, 07/13/2020
- Re: [Coq-Club] organizing project files, Chris Dams, 07/13/2020
- Re: [Coq-Club] organizing project files, Ralf Jung, 07/13/2020
- Re: [Coq-Club] organizing project files, Théo Zimmermann, 07/13/2020
- Re: [Coq-Club] organizing project files, Erkki Luuk, 07/13/2020
- Re: [Coq-Club] organizing project files, Théo Zimmermann, 07/13/2020
- Re: [Coq-Club] organizing project files, Ralf Jung, 07/13/2020
- Re: [Coq-Club] organizing project files, Chris Dams, 07/13/2020
Archive powered by MHonArc 2.6.19+.