#!/bin/bash

DIRS=$(find . -type d | grep -v '.git')


for DIR in $DIRS; 
do
  INCL="$INCL -I '$DIR'"
done

FILES=$(find . -type f -name '*.v')

coq_makefile $INCL $FILES > Makefile 
