Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix make distcheck, but the definition of this target (not its configuration), this...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 3 Mar 2020 23:24:47 +0000 (00:24 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 3 Mar 2020 23:24:52 +0000 (00:24 +0100)
commit47a98af9946e6db0a7001646c82523edfbae616e
tree1ac5b35d1051daa6f3ba7d6da673d5b25d45f59b
parente89f8b28cd1ead75b73d8e18de33510f00e28b11
fix make distcheck, but the definition of this target (not its configuration), this time

I suspect that this broke when we low-cased the project name somehow,
but I fail to really understand the breakage. Anyway, it's fixed now.
tools/cmake/Distrib.cmake