coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] How to create a makefile for a project using libraries?

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] How to create a makefile for a project using libraries?
Date: Sat, 10 Feb 2018 14:12:34 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f42.google.com
Ironport-phdr: 9a23:OVXi1BWd8Bu2Izl0RGhD+lgfSRTV8LGtZVwlr6E/grcLSJyIuqrYYxCHt8tkgFKBZ4jH8fUM07OQ7/i5HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9vIBmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YhMx/jqJVrhyiqRJi3YDbfJqYO+Bicq7HZ94WWXZNU8RXWidcAo28dYwPD+8ZMOhGr4n6vVwOogO9CgmtAePvzyFHhmXz3aIg1eQhFxzN0Qs8H9IOrnvUq8/5NaYTUeCwyanIzC7Ob/xT2Tjn6YjIdgotru2LXbJ1aMfcz1QkGQ3CjlWVs4PlPjWV2/wCs2ia8+pgVf+vhHU9pw5tpTivw8EhgZTKiIIN0l3I6zl1zYIvKdC7SEN3e8CoHIZeui2AOIZ6XMUvSHxytikg0L0Jo5u7cTAKyJs5wx7fbOSKc42S7RLiUOadOCl4hHF5dL6miRa//lasxvfzVsmz11ZKoS5FncfWun8R0BzT79CLSvp7/ki/xTaCzx7f5v1ALEwulqfWK4QtzqAtmpcdq0jOETH6lF3zjKCMd0Uk/uao6/7gYrXjvpKcK490hR/5Mqg0m82/AOE4Mg0PX2WA9uS80afs/Uz9QLlQkvI2lazZvIjAJcsHvq65HxNV0oE75hmjCDemyc0UkmUDLFJYYx2KlJPpOlHLIPDgF/izmVWskDFxx/DHJLLtGJvNLmKQ2IvmKL168gtXzBc55dFZ/ZNdTL8bc9zpXUqkiNxZCSgLMgmxzvziAdN7ntcCWW+IRL2YNabTmVCN7+MrZeKLYdlG637GN/E56qu23jcCklgHcPzxhMpFWDWDBv1jZn6hTz/pi9YFH30Nu1NnHuPvgVyGFzVUYiTrBv5u1nQAEIujSLz7aMW1mrXYhXW0G5RXYiZNDVXeSS61JbXBYO8FbWepGuEkkjEAUuL8GYoo1BXrqgyijrQ7dKzb/SoXsZ+l399wtbXe

Is there any plan to update the reference manual. The actual behaviour of coq is very confusing if you just follow the manual. Or did I overlooked something?

Pull requests are always welcome. See https://github.com/coq/coq/blob/master/CONTRIBUTING.md. The core team of developers has so much to do that it is very important to get external contributions, especially on improving the documentation. If you don't want to do that, you can also open a new issue at https://github.com/coq/coq/issues explaining what you found confusing and suggesting how to improve it, and hopefully someone else will take it from there.

Regards,

Théo

[Coq-Club] How to create a makefile for a project using libraries?, Helmut Brandl, 02/09/2018
- Re: [Coq-Club] How to create a makefile for a project using libraries?, Théo Zimmermann, 02/09/2018
  - Re: [Coq-Club] How to create a makefile for a project using libraries?, Pierre Courtieu, 02/09/2018
    - Re: [Coq-Club] How to create a makefile for a project using libraries?, Helmut Brandl, 02/10/2018
      - Re: [Coq-Club] How to create a makefile for a project using libraries?, Helmut Brandl, 02/10/2018
        
        Re: [Coq-Club] How to create a makefile for a project using libraries?, Pierre Courtieu, 02/10/2018
        
        Re: [Coq-Club] How to create a makefile for a project using libraries?, Théo Zimmermann, 02/10/2018
        
        Re: [Coq-Club] How to create a makefile for a project using libraries?, Helmut Brandl, 02/11/2018
        
        Re: [Coq-Club] How to create a makefile for a project using libraries?, Théo Zimmermann, 02/11/2018
        Re: [Coq-Club] How to create a makefile for a project using libraries?, Helmut Brandl, 02/12/2018
        
        Re: [Coq-Club] How to create a makefile for a project using libraries?, Helmut Brandl, 02/14/2018