coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] scons equivalent of coq_makefile

From: Clément Pit-Claudel <cpitclaudel AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] scons equivalent of coq_makefile
Date: Sat, 29 Aug 2020 18:21:12 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cpitclaudel AT gmail.com; spf=Pass smtp.mailfrom=cpitclaudel AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f177.google.com
Ironport-phdr: 9a23:E+uKBRyNlkMPNDTXCy+O+j09IxM/srCxBDY+r6Qd2+8TIJqq85mqBkHD//Il1AaPAdyFrase16GG6ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVhTexe65+IAu5oAnetcQanJZpJ7osxBfOvnZGYfldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbDVheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulSwJNSM28HvPh8JtkqxbrhKvqR9xzYHab46aNuZxcKzGcNMGRmdMRNpdWzBPD46+aYYEEuoPPfxfr4n4v1YDsx++AhOpBOzxzD9Immf507c70+Q9CA3LwgggEMgTsHvJstr1MLoZXOepw6nQzDXDc+9Z2TPn54jVbx8uv/WMUKl/ccrU00YvFgfFgk+MpoziOjOYz+IAuHWU4OR8T+ygkXInqx1vrTi1wMchkorEi4Ybx13L9yh3z4Q4K9KkRUN5YdOpEYdduiWYOodoTc4vQGNltSUnx7Abt5O3YSgHxpo5yhPcafGJc4eG7xLlWe2MIjl4nGpodKyjixu260Stye3xWtOq3FpUsCZJiMTAu3IP2hDL9MSKReFx80a81TqVyQze5f1ILVo3mKbHLZMq36Q+mYAJsUvZGy/7gEX2g7GSdkUj4uWo7v7oYrTippOFLo90iRzyPr0gmsCiA+k1MBICX2ec+eS7273j+VP2TK9Wgf0xl6nVqJHaJcIFqa6lGwJZzJov5hKlAzql0NkUh2cLIExbdB6dkoTkOVPDLOj9DfilglSslDlrx+rBPr3kGpjCMmDDkLb9fblh705T0hczws1B6JJQEbwBL/fzVVXwtNzcFBM2Lwu0w+P/BNVnyoweQX6PArOeMK7KrVCI4fsvL/CQa48RpTbyMOMo5+XujH88gV8SZ7Ol3ZoRaHCiH/RpOV+VYXT2goRJLWBftQ0nCefulVeqUDhJZn/0UbhvyCs8DdeNCQbGS4axt4SAwGKQGpRLam1CQgSHCXb0fIGNRvsBbAqdJ8ZglnoPUr33GNxp7g2nqAKvk+kvFeHT4CBN7cuyhugw3PXakFQJzRIxCs2c12+XSGQtxzEHQjY32OZ0pkkvkw7fg5g9uORREJlo390MSh0zbMeOwOlzCtS0UQXELI/QFQSWB+6+CDR0deofht8DZ0EnRYenhxHHmjOpWvobzuPUQpMz9a3Y0j76IMMvk3s=

On 8/29/20 5:49 AM, Théo Zimmermann wrote:
> Dear Abhishek,
>
> If you are looking for a way to get away from the limitations of make,
> why not try the experimental Dune support for Coq instead?

+1, it's actually quite good. I likely won't replace your makefile or scons
configuration completely, but for the Coq parts of your project it's great.

[Coq-Club] scons equivalent of coq_makefile, Abhishek Anand, 08/20/2020
- Re: [Coq-Club] scons equivalent of coq_makefile, Théo Zimmermann, 08/29/2020
  - Re: [Coq-Club] scons equivalent of coq_makefile, Clément Pit-Claudel, 08/30/2020
  - Re: [Coq-Club] scons equivalent of coq_makefile, Gregory Malecha, 08/31/2020
    - Re: [Coq-Club] scons equivalent of coq_makefile, Rudi Grinberg, 08/31/2020
      - Re: [Coq-Club] scons equivalent of coq_makefile, Abhishek Anand, 08/31/2020
        
        Re: [Coq-Club] scons equivalent of coq_makefile, Rudi Grinberg, 08/31/2020