#!/bin/sh

SUBDIRS="propositional first_order"

set -x

#Make the correct depend file
for i in ${SUBDIRS}; do
    (cd $i; ./configure;)
done
