#! /bin/bash
DIRS="src src/michocoq  src/extraction  src/contracts_coq  src/michocott"
echo "Generating the main Makefile"
coq_makefile -f _CoqProject -o Makefile

for i in $DIRS ; do
    cd $i
    if [ -x ./configure ] ; then ./configure ; fi
    coq_makefile -f _CoqProject -o Makefile
    cd -
done