#!/bin/sh

if test -z "$THEORY_TYPE"; then THEORY_TYPE=ascii; fi

mkdir theories/$THEORY_TYPE 2>/dev/null || true
#Old version: (cd theories/src; Make $*)

(cd theories/src; ./Make $*)

