flocq.sh - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/flocq.sh

blob: 64b7534ea86be16bf6b666c7d43d20dd04611c05 (plain)

1 2	`COQINCLUDES="-R /home/monniaux/.opam/4.12.0+flambda/lib/coq/user-contrib/Flocq flocq" export COQINCLUDES`