#!/bin/sh

#change these if you want to install in other directories
BIN=/usr/bin
LIB=/usr/lib
MAN=/usr/share/man/man1

rm -rf $LIB/miralib #remove old miralib if present
tar xpzf miralib.tgz -C $LIB

cp *.1 $MAN

gcc version.o cmbnms.o y.tab.o data.o lex.o big.o reduce.o steer.o\
    trans.o types.o -lm -o $BIN/mira.exe
gcc just.o -o $BIN/just.exe
gcc mtotex.o -o $BIN/mtotex.exe
