#!/bin/sh

(cd theories/src; Make $1)
