Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] sound incremental builds

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] sound incremental builds


Chronological Thread 
  • From: Emilio Jesús Gallego Arias <e AT x80.org>
  • To: Abhishek Anand <abhishek.anand.iitg AT gmail.com>
  • Cc: coq-club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] sound incremental builds
  • Date: Mon, 20 Jul 2020 17:51:22 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
  • Ironport-phdr: 9a23:mnG9gBFqwfeZp6RxddtJpp1GYnF86YWxBRYc798ds5kLTJ7zpsiwAkXT6L1XgUPTWs2DsrQY0rSQ7/yrBzdIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfLJ/IA+5oAjeucUbgIVvIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1jioMKjw3/3zNisFojKxVvg+vpxtxw4DaYo6bN/RxcazBct4BWWpNQtxcWzBdDo6mbYYCCfcKM+ZCr4n6olsDtRSwBQytBOPryz9IgWf506kk3OQ6CxnGxxQvEdMUv3TQqNX6KqgSUeetw6TU1zXDbulZ2Szg44XPbB8suv6NULFsfcbLzkkvDQzFg0yWpIf4MDybyv4DvHKH7+p8S+2vkWgnphlvrzWsyMoihYnHi4EbxF3F6Ch0wIg7KMOmRUN6f9OqHpVduSGEOodrQs0vX39ktSQ5x7AGpZO2fywHxZU7yxDfbfGMbouG4gr7WeqMIjp1h2hpdKyhixuz60Ss1+/xWtSu3FpXoCdJjMHAu3IO2hDJ98SKTvVw8l2/1TuB2A3f8PxILEQymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Qr+eWk9/7rYrL8pp+TL4N0iwf+PboymsGnHOg1MQsDU3KF9eii1bDv51D1TbdXgvEsj6XUvo7WKdwepqGjAg9V1ogj6wy4DzejyNkXg2IKLV1GdR6blYTpPEvOIP/gAfeln1usiCtrx+zBPrD5HprNKWHDnK79crZ59k5T0xE+zctf5pJRErEOOuj/Wk73tNzCDx82KRa4w+j9CIY16oRLcGiPA7SZPaCamFmB4O5nd+CGZI4OuDv+bfEj7vjiy344hVA1cqyg3J9RY3e9SKdIOUKcNFfpg9MAFlAosxGsV9vFgVmGXDFUUF+oXqsnrmU2IJL2VcHEXI/70+/J5zuyApADPjMOMVuLC3q9L9zZCcdJUzqbJ4paqhJBVbWlTN5zxUH28gjgxOg+d7uGymgjrZvmkeNNyajWnBA2+yZzCpXPwzHVCWZukTFRHmNk7OVEuUV4j2y7/+1gmfUJR8wDv7VOSAhobZM=
  • Organization: X80 Heavy Industries

Hi Abhishek,

Abhishek Anand <abhishek.anand.iitg AT gmail.com> writes:

> I want to avoid ever having to do clean builds (`make clean`) and
> still ensure soundness of the build.

Modulo bugs, Dune's Coq support will do what you want.

Kind regards,
E.



Archive powered by MHonArc 2.6.19+.

Top of Page