Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cmake: Ensure that the users don't activate minimal-bindings and model-checking together
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 4 May 2021 08:27:05 +0000 (10:27 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 4 May 2021 17:30:02 +0000 (19:30 +0200)
commit53e897ed5184a996766236e4dd3d8017432ce0a3
tree9478a83b431dd16bc45a198a07dfa17c0549f079
parentf4cff9daef53be9c564a469435b23fd2c313b693
cmake: Ensure that the users don't activate minimal-bindings and model-checking together
CMakeLists.txt