Skip to Content.
Sympa Menu

coq-club - [Coq-Club] bazel setup/rules for Coq

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] bazel setup/rules for Coq


Chronological Thread 
  • From: Abhishek Anand <abhishek.anand.iitg AT gmail.com>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: [Coq-Club] bazel setup/rules for Coq
  • Date: Fri, 4 Dec 2020 21:17:35 -0800
  • 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-io1-f53.google.com
  • Ironport-phdr: 9a23:tcx8bRGLBYR49oXKW9JZfJ1GYnF86YWxBRYc798ds5kLTJ7zrs2wAkXT6L1XgUPTWs2DsrQY0rWQ6v6xEjJfqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5wIRmssAnct80bjYRjJ6sz1xDEvmZGd+NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLDTRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljjoMOjgk+2/Vl8NwlrpWrx2hqRJxwIDafZ+bO+Zlc6zHYd8XX3BMUtpNWyFDBI63cosBD/AGPeZdt4Twu0ABrRu/BQm3BOPg1DxIjWLq0K08yeshFxzJ1xEnEt0Uq3vUrNT1NLwSUe+rz6nE1y/Mb/VM1jf79YfEaBEhofCQXbJ/asfRxkwvGBnEjlWUs4DqIzSV1uEUvmWd8uFvWv6hhXQ9pAFtvjig2N0sio/Ri48Lyl7J6zh0zYk6K9ClVkJ2b8CoHZhMuiyUN4V6XMwvTmVqtSonyLALpJ62cigIxZkkxRPTd+KLf5aL7x/gWuucJypzinxieLK6nRmy8E6gx/XgWcmzylZKqDRKkt3ItnwXyRPc99WHR/1g9UmiwTaCzx7f5v1ALEwulqfWK4QtzqMxm5cSq0jOHiH7lUPrh6GMbEok4PKn6+H/b7XmuJCcM4h0hxn7Mqs0m8y/Bf00MgkJX2SG4Oi82r3u8EPjTLVFif02labZsJTEKsgBuqG5BApV3p4i6xa5ETimzMwVkWcbIF9BYh6KjIjkN0vTLP35DPqzmVShnTlzy/DDJLLhA5HNLnbZkLfmeLZw81RTxxEzzdBe/JJUCq8OIPHpVkDrstzXFBk5PBGuz+bmCdV9yoweVHmAAq+cKqzSsFuI6vgzLOmLYY8ZoCz9JOQ95/7ykX85nkcQcrWu3ZsOcXy3AvBmI1iCbnf3mdcAEWIKvhIkQ+DwiV2CVyRTZ3eoUK4m6DE7EtHuMYCWTYe0xbeFwS3zSpZRfyVNDk2GOXbubYSNHfkWPnG8OMhkxxUOVbm6S4IinTiovQn2g+5uJOrV4S0VttTq0tFz66vSlA093TNxBsWZlWqKSjcnzSszWzYq0fUn8gRGwVCZ3P0g2q0KJZlo//pMFzwCG9vZxu1+Bcr1X1uYLNiMQVeiBN6hBGNoF45j85o1e094Xu6aoFXbxSPzWu0akrWKANo/9aeOhyGsdfY48G7P0ewat3djQsZLMjf71Kt29gyWBomQ1kvEzOClcqMT2COL/2CGnzKD

Has someone written a bazel setup/rules for Coq? The remote build cache feature seems nice. 



  • [Coq-Club] bazel setup/rules for Coq, Abhishek Anand, 12/05/2020

Archive powered by MHonArc 2.6.19+.

Top of Page