coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] scons equivalent of coq_makefile

From: Abhishek Anand <abhishek.anand.iitg AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] scons equivalent of coq_makefile
Date: Thu, 20 Aug 2020 12:36:14 -0700
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=abhishek.anand.iitg AT gmail.com; spf=Pass smtp.mailfrom=abhishek.anand.iitg AT gmail.com; spf=None smtp.helo=postmaster AT mail-il1-f180.google.com
Ironport-phdr: 9a23:p1ne5h1XZ/+CsyU3smDT+DRfVm0co7zxezQtwd8ZseITLfad9pjvdHbS+e9qxAeQG9mCtbQd0rKd7PiocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTuwbalvIBmrsQnducsbjZd/Iast1xXFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljjoMOTwk/2HNksF/g6JVrhyiqRJi3YDbfJqYO+Bicq7HZ94WWXZNU8RXWidcAo28dYwPD+8ZMOtEtIb9p1oOrQC+BQayB+Pk1yNFhnns0q08zusqDAbL0xY7ENIOsXTUt9X1O7kRUeyv1qbIyy/Mb/VL1jvn6YjIcwwhof6XULJ/dMre00gvFwffglqMrozlOiqY2+IQuGeU8+RuT/igi3I7qw5vuDivwN8hh43Xio8byF3J6zl1zZspKdCmR0B2YNqpHYdQuiyEOYV7Xs0sTn10tCs7yrAKp4K3cSsFxpkj2xPSa/2KfoeU7h/lSe2fIi94iWp7dL6jgxu+60utx+3mWsWp0VtHrzBJnsTPu3wR0RHY99KJReFn/ki73DaCzwDT5f9AIUAzjafbLoQuwr80lpYKsETDGjL6lFz4jKOLdUgo5vKk6+vgYrXhqZ+cM5F7hhviPaQpn8yzGeU4Mg4QUGiH4emwyqHv8EnjTLhJjvA6iLTVvZHbKMgBu6K0ABNZ3p4m6xmlDjem1NoYnWMALFJAYB+IlZPmO1HPIPDjDfewnVesnC1xyPDAJLLhBIjCImLCkLfgYbZ95FVRyAU2zd9F5pJUDqsNL+70Wk/0rNDYFAM2MxSow+b7D9Vwzp8RWWWWAqOALKzStUKI6fk0LumXZI4VvS79JOI/6/7vi385g14dcrOz0ZsZcnDrVshhdk6eeD/nhsoLWTMBuRN7R+j3gnWDVyRSbjC8RfRvyCs8DdePB4fCXYCgg/So2i69EtUCb2pGC0uMHHSufoONXftKaSOOLedulzUFUf6qTIp3hkLmjxPz17cydrmcwSYfr5+2jIEotd2Wrgk78HlPN+rY02yJSDsqzGYBRjtz3aQm5EIkmg/F3q9/jPhVU9dU4qERC1ZoBdvn1+V/TuvKdEfEd9aNRkyhR4z/Uz40R9M1hdQJZhQkQonwvlX4xyOvRoQtufmTHpVtq/DT2nHwI4B2zHOUjKQ=

Has someone written a tool to produce scons declarations (SConstruct) from a _CoqProject?

I find it advantageous over make, especially in cross-server CI settings, because it uses hashes instead of timestamps to decide whether to rebuild a .vo file.

[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