#!/bin/sh

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

mkdir theories/$THEORY_TYPE 2>/dev/null || true
cd theories/src
$* < mk_tc.sml
$* < mk_wf.sml

#echo 'Portable.use_and_exit print_HOL_ERR "mk_tc.sml";' | $* 
#echo 'Portable.use_and_exit print_HOL_ERR "mk_wf.sml";' | $* 

