#!/bin/bash

LIBS="-lreadline -lbobcat"

#CMD="g++ `cat ../../c++std` -o driver -Wall -I../../tmp driver.cc -L../../tmp/lib \
#                                                    ${LIBS} -s"

CMD="g++ `cat ../../c++std` -o driver -Wall driver.cc ${LIBS} -s"

echo $CMD
$CMD
